Verified Interoperable Implementations of Security Protocols

This publication has 24 references indexed in Scilit:

• Automated Verification of Selected Equivalences for Security Protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Verified Interoperable Implementations of Security Protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• An efficient cryptographic protocol verifier based on prolog rules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Logical relations for encryption
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Verification of cryptographic protocols: tagging enforces termination
  Theoretical Computer Science, 2005
• Spi2Java: automatic cryptographic protocol Java code generation from SPI calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• A bisimulation for dynamic sealing
  Published by Association for Computing Machinery (ACM) ,2004
• Efficient and timely mutual authentication
  ACM SIGOPS Operating Systems Review, 1987
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978