Primitives for authentication in process algebras.

DOI10.1016/S0304-3975(01)00136-0zbMath1050.68103WikidataQ62045734 ScholiaQ62045734MaRDI QIDQ1603653

Riccardo Focardi, Chiara Bodei, Pierpaolo Degano, Corrado Priami

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

SecurityAuthenticationSecrecyOperational semanticsDistributed process algebrasProved transition systems

Mathematics Subject Classification ID

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

Related Items (2)

\textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Pierpaolo Degano

Uses Software

• Pict
• Esterel

Cites Work

• From CML to its process algebra
• A calculus of mobile processes. II
• A calculus for cryptographic protocols: The spi calculus
• Non-interleaving semantics for mobile processes
• Three systems for cryptographic protocol analysis
• Names of the \(\pi\)-calculus agents handled locally
• Causality for debugging mobile agents
• Secure implementation of channel abstractions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Primitives for authentication in process algebras.