A secrecy-preserving language for distributed and object-oriented systems
From MaRDI portal
Publication:1648643
Recommendations
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)
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)