Secure Implementation of Asynchronous Method Calls and Futures

DOI10.1007/978-3-642-35371-0_3zbMath1354.68034OpenAlexW69309551MaRDI QIDQ2957110

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

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

Uses Software

• Creol

Cites Work

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

This page was built for publication: Secure Implementation of Asynchronous Method Calls and Futures