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

DOI10.1016/j.jlamp.2018.04.001zbMath1395.68198OpenAlexW2802323239WikidataQ129872370 ScholiaQ129872370MaRDI QIDQ1648643

Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani

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

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

Related Items

Static checking of GDPR-related privacy compliance for object-oriented distributed systems ⋮ Selected papers from the 28th Nordic workshop on programming theory (NWPT'16)

Uses Software

• Haskell
• Flow Caml
• Creol
• JFlow
• HLIO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observable behavior of distributed systems: component reasoning for concurrent objects
• A sound and complete reasoning system for asynchronous communication with shared futures
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Specification and Development of Interactive Systems
• Types vs. PDGs in Information Flow Analysis
• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Certification of programs for secure information flow

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