Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques

This publication has 13 references indexed in Scilit:

• Partial model checking and theorem proving for ensuring security properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient finite-state analysis for large security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Proving properties of security protocols by induction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A probabilistic poly-time framework for protocol analysis
  Published by Association for Computing Machinery (ACM) ,1998
• Using CSP to detect errors in the TMN protocol
  IEEE Transactions on Software Engineering, 1997
• Reasoning about cryptographic protocols in the spi calculus
  Published by Springer Nature ,1997
• The Compositional Security Checker: a tool for the verification of information flow security properties
  IEEE Transactions on Software Engineering, 1997
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• Compositionality Through an Operational Semantics of Contexts
  Journal of Logic and Computation, 1991