Secure Enforcement for Global Process Specifications

DOI10.1007/978-3-642-04081-8_34zbMath1254.68177OpenAlexW2114330540MaRDI QIDQ3184696

Ricardo Corin, Jérémy Planul, Cédric Fournet

Publication date: 22 October 2009

Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_34

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Self-adaptation and secure information flow in multiparty communications ⋮ Combining behavioural types with security analysis ⋮ Information flow safety in multiparty sessions ⋮ Typing access control and secure information flow in sessions ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

Cites Work

• Unnamed Item
• Flow models of distributed computations: Three equivalent semantics for CCS
• Multiparty asynchronous session types
• On the security of public key protocols

This page was built for publication: Secure Enforcement for Global Process Specifications