Pattern-matching spi-calculus

DOI10.1016/J.IC.2006.04.004MaRDI QIDQ2500522zbMATH OpenOpenAlexFDO

Authors Christian Haack, Alan Jeffrey

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)

Recommendations

• A calculus for cryptographic protocols: The spi calculus
• scientific article; zbMATH DE number 1832233
• On bisimulations for the spi calculus
• CONCUR 2004 - Concurrency Theory
• Primitives for authentication in process algebras.

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A logic of authentication
• Analysis of security protocols as open systems
• Analyzing security protocols with secrecy types and logic programs
• CONCUR 2005 – Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1670808 (Why is no real title available?)
• scientific article; zbMATH DE number 1701344 (Why is no real title available?)
• scientific article; zbMATH DE number 1962753 (Why is no real title available?)
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• scientific article; zbMATH DE number 1927582 (Why is no real title available?)
• scientific article; zbMATH DE number 1746674 (Why is no real title available?)
• Mobile values, new names, and secure communication
• On the security of public key protocols
• Resolution of equations in algebraic structures. Volume II: Rewriting techniques
• Secrecy by typing in security protocols
• Security protocols and their properties

Cited in

(8)

• Expressiveness of concurrent intensionality
• A formal semantics for protocol narrations
• A sorted semantic framework for applied process calculi (extended abstract)
• Implementing Spi Calculus Using Nominal Techniques
• scientific article; zbMATH DE number 1962753 (Why is no real title available?)
• Automated type-based analysis of injective agreement in the presence of compromised principals
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• On the semantics of Alice \& Bob specifications of security protocols

Describes a project that uses

Uses Software

• TAPS
• Casper
• Cryptyc

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500522)