Relating Process Languages for Security and Communication Correctness (Extended Abstract)

DOI10.1007/978-3-319-92612-4_5OpenAlexW2806366938WikidataQ57652325 ScholiaQ57652325MaRDI QIDQ5881535

Unnamed Author, Jorge A. Pérez

Publication date: 10 March 2023

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-92612-4_5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Uses Software

• ProVerif
• TAMARIN

Cites Work

• Unnamed Item
• Typing access control and secure information flow in sessions
• Combining behavioural types with security analysis
• A Gentle Introduction to Multiparty Asynchronous Session Types
• Proof-Carrying Code in a Session-Typed Process Calculus
• Multiparty asynchronous session types
• Mobile values, new names, and secure communication

This page was built for publication: Relating Process Languages for Security and Communication Correctness (Extended Abstract)