Proving secrecy is easy enough

This publication has 11 references indexed in Scilit:

• Decision procedures for the analysis of cryptographic protocols by logics of belief
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A meta-notation for protocol analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Honest ideals on strand spaces
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Intrusion-tolerant group management in Enclaves
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• TAPS: a first-order verifier for cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Protocol-independent secrecy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verifying authentication protocols in CSP
  IEEE Transactions on Software Engineering, 1998
• Enclaves: enabling secure collaboration over the Internet
  IEEE Journal on Selected Areas in Communications, 1997
• Efficient and timely mutual authentication
  ACM SIGOPS Operating Systems Review, 1987
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978