Deriving the Complete Knowledge of Participants in Cryptographic Protocols

This publication has 12 references indexed in Scilit:

• Using narrowing in the analysis of key management protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The use of logic in the analysis of cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Representing partial knowledge in an algebraic security model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the Security of Ping-Pong Protocols when Implemented using the RSA (Extended Abstract)
  Published by Springer Nature ,2000
• Reasoning about belief in cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Analyzing encryption protocols using formal verification techniques
  IEEE Journal on Selected Areas in Communications, 1989
• The Knowledge Complexity of Interactive Proof Systems
  SIAM Journal on Computing, 1989
• Protocol failures in cryptosystems
  Proceedings of the IEEE, 1988
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• How to Generate Cryptographically Strong Sequences of Pseudorandom Bits
  SIAM Journal on Computing, 1984