A secrecy-preserving language for distributed and object-oriented systems
DOI10.1016/J.JLAMP.2018.04.001zbMATH Open1395.68198OpenAlexW2802323239WikidataQ129872370 ScholiaQ129872370MaRDI QIDQ1648643FDOQ1648643
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
non-interferenceinformation flowsecrecyconcurrent objectsasynchronous methodsinteraction non-interference
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- 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
- A sound and complete reasoning system for asynchronous communication with shared futures
- Certification of programs for secure information flow
- Types vs. PDGs in Information Flow Analysis
Cited In (5)
Uses Software
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)
