Finite-State Analysis of Security Protocols
No abstract available.
DOI 10.1007/bfb0028734
Related papers
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Data Flow Analysis of Communicating Finite State Machines TOPLAS 1991
- QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols CAV 2025
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis ESOP 2001
- A Type and Effect Analysis of Security Protocols SAS 2001
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008
- The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis CAV 2008