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

DOI10.1016/J.JLAMP.2018.04.001MaRDI QIDQ1648643zbMATHOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 54048 (Why is no real title available?)
• scientific article; zbMATH DE number 2090852 (Why is no real title available?)
• A sound and complete reasoning system for asynchronous communication with shared futures
• Certification of programs for secure information flow
• Creol: A type-safe object-oriented model for distributed concurrent systems
• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Specification and Development of Interactive Systems
• Types versus PDGs in information flow analysis

Cited in

(7)

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

Describes a project that uses

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)