Separating the specification and implementation phases in cryptology

This publication has 12 references indexed in Scilit:

• Deriving the Complete Knowledge of Participants in Cryptographic Protocols
  Published by Springer Nature ,2001
• How To Prove Yourself: Practical Solutions to Identification and Signature Problems
  Published by Springer Nature ,2000
• Security defects in CCITT recommendation X.509
  ACM SIGCOMM Computer Communication Review, 1990
• Reasoning about belief in cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A logic of authentication
  Published by Association for Computing Machinery (ACM) ,1989
• 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
• Secure Audio Teleconference
  Published by Springer Nature ,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