Formally-Based Black-Box Monitoring of Security Protocols

This publication has 13 references indexed in Scilit:

• Security protocols, properties, and their monitoring
  Published by Association for Computing Machinery (ACM) ,2008
• An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
  2007 IEEE Symposium on Computers and Communications, 2007
• Verified Interoperable Implementations of Security Protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Automated Security Protocol Analysis With the AVISPA Tool
  Electronic Notes in Theoretical Computer Science, 2006
• Implementing a Formally Verifiable Security Protocol in Java Card
  Published by Springer Nature ,2004
• Secure Implementation of Channel Abstractions
  Information and Computation, 2002
• A calculus for cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1997
• Security properties and CSP
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1996
• Security Mechanisms in High-Level Network Protocols
  ACM Computing Surveys, 1983
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983