Pattern-matching spi-calculus
From MaRDI portal
Publication:2500522
DOI10.1016/J.IC.2006.04.004zbMATH Open1110.68038OpenAlexW2118042780MaRDI QIDQ2500522FDOQ2500522
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
Recommendations
Cites Work
- Title not available (Why is that?)
- A calculus for cryptographic protocols: The spi calculus
- Mobile values, new names, and secure communication
- A logic of authentication
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the security of public key protocols
- Secrecy by typing in security protocols
- CONCUR 2005 – Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Security protocols and their properties
- Resolution of equations in algebraic structures. Volume II: Rewriting techniques
- Title not available (Why is that?)
- Analysis of security protocols as open systems
- Title not available (Why is that?)
- Analyzing security protocols with secrecy types and logic programs
- Title not available (Why is that?)
Cited In (8)
- On the semantics of Alice \& Bob specifications of security protocols
- A formal semantics for protocol narrations
- Implementing Spi Calculus Using Nominal Techniques
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
- Expressiveness of concurrent intensionality
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
- Automated type-based analysis of injective agreement in the presence of compromised principals
- Title not available (Why is that?)
Uses Software
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)
