Pattern-matching spi-calculus

DOI10.1016/j.ic.2006.04.004zbMath1110.68038OpenAlexW2118042780MaRDI QIDQ2500522

Alan Jeffrey, Christian Haack

Publication date: 17 August 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2006.04.004

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (5)

On the semantics of Alice \& Bob specifications of security protocols ⋮ Expressiveness of concurrent intensionality ⋮ Automated type-based analysis of injective agreement in the presence of compromised principals ⋮ A formal semantics for protocol narrations ⋮ A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

Uses Software

• TAPS
• Casper
• Cryptyc

Cites Work

• A calculus for cryptographic protocols: The spi calculus
• Analysis of security protocols as open systems
• Secrecy by typing in security protocols
• On the security of public key protocols
• A logic of authentication
• Mobile values, new names, and secure communication
• Analyzing security protocols with secrecy types and logic programs
• CONCUR 2005 – Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pattern-matching spi-calculus