Secure implementation of asynchronous method calls and futures

DOI10.1007/978-3-642-35371-0_3MaRDI QIDQ2957110zbMATH OpenOpenAlexFDO

Authors Peeter Laud

Publication date 23 January 2017

Published in Trusted Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35371-0_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Securing the future -- an information flow analysis of a distributed OO language
• Asynchronous sequential processes
• Compositional reasoning about active objects with shared futures
• scientific article; zbMATH DE number 6721685
• A sound and complete reasoning system for asynchronous communication with shared futures

Cites work

• A survey of concurrent object-oriented languages
• Behavioral interface description of an object-oriented language with futures and promises
• Branching time and abstraction in bisimulation semantics
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Cryptographically Sound Implementations for Communicating Processes
• On the security of public key protocols
• Probabilistic encryption
• Secure Pseudonymous Channels

Cited in

(1)

• Backwards type analysis of asynchronous method calls

Describes a project that uses

Uses Software

• Creol

This page was built for publication: Secure implementation of asynchronous method calls and futures

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