A probabilistic poly-time framework for protocol analysis

This publication has 14 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A calculus for cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1997
• Provably secure session key distribution
  Published by Association for Computing Machinery (ACM) ,1995
• Three systems for cryptographic protocol analysis
  Journal of Cryptology, 1994
• Non-malleable cryptography
  Published by Association for Computing Machinery (ACM) ,1991
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• The chemical abstract machine
  Published by Association for Computing Machinery (ACM) ,1990
• A public key cryptosystem and a signature scheme based on discrete logarithms
  IEEE Transactions on Information Theory, 1985
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976