Secure implementations of typed channel abstractions

DOI10.1145/1190216.1190253zbMath1295.68078OpenAlexW4242450894MaRDI QIDQ3189806

Marco Giunti, Michele Bugliesi

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) Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Strategy based semantics for mobility with time and access permissions ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ A taxonomy of process calculi for distribution and mobility ⋮ A type system for Discretionary Access Control ⋮ Dynamic management of capabilities in a network aware coordination language

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