A secrecy-preserving language for distributed and object-oriented systems

DOI10.1016/J.JLAMP.2018.04.001zbMATH Open1395.68198OpenAlexW2802323239WikidataQ129872370 ScholiaQ129872370MaRDI QIDQ1648643FDOQ1648643

Authors: Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas 

Publication date: 27 June 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10852/71729

Recommendations

• Securing the future -- an information flow analysis of a distributed OO language
• scientific article; zbMATH DE number 1948408
• Discretionary Information Flow Control for Interaction-Oriented Specifications
• Non-disclosure for distributed mobile code
• All Secrets Great and Small

zbMATH Keywords

non-interferenceinformation flowsecrecyconcurrent objectsasynchronous methodsinteraction non-interference

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Title not available (Why is that?)
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Specification and Development of Interactive Systems
• Title not available (Why is that?)
• A sound and complete reasoning system for asynchronous communication with shared futures
• Certification of programs for secure information flow
• Title not available (Why is that?)
• Types versus PDGs in information flow analysis

Cited In (7)

• Title not available (Why is that?)
• Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)
• A domain-specific language for computing on encrypted data. (Invited talk)
• Static checking of GDPR-related privacy compliance for object-oriented distributed systems
• Fibred security language
• Securing the future -- an information flow analysis of a distributed OO language
• Purpose-based policy enforcement in actor-based systems

Uses Software

• Haskell
• Flow Caml
• Creol
• JFlow
• HLIO

This page was built for publication: A secrecy-preserving language for distributed and object-oriented systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1648643)