Secure implementations of typed channel abstractions

DOI10.1145/1190216.1190253MaRDI QIDQ3189806zbMATH OpenOpenAlexFDO

Authors Michele Bugliesi, Marco Giunti

Publication date 12 September 2014

Published in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1190216.1190253

zbMATH Keywords

full abstractionlanguage encodingstyped behavioral theories

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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) Cryptography (94A60)

Recommendations

• Secure implementation of channel abstractions
• scientific article; zbMATH DE number 1500645
• scientific article; zbMATH DE number 1231619
• Cryptographically Sound Implementations for Communicating Processes
• Computational Secrecy by Typing for the Pi Calculus

Cited in

(14)

• Dynamic management of capabilities in a network aware coordination language
• Secure implementation of channel abstractions
• Towards a unified approach to encodability and separation results for process calculi
• Union and Intersection Types for Secure Protocol Implementations
• A type system for Discretionary Access Control
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Channel abstractions for network security
• Cryptographically Sound Implementations for Communicating Processes
• scientific article; zbMATH DE number 1231619 (Why is no real title available?)
• scientific article; zbMATH DE number 1500645 (Why is no real title available?)
• A uniform type structure for secure information flow
• Abstraction preservation and subtyping in distributed languages
• A taxonomy of process calculi for distribution and mobility
• Strategy based semantics for mobility with time and access permissions

This page was built for publication: Secure implementations of typed channel abstractions

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