A semantic model for authentication protocols

This publication has 24 references indexed in Scilit:

• On belief evolution in authentication 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
• Applying Formal Methods to the Analysis of a Key Management Protocol
  Journal of Computer Security, 1992
• Authentication in distributed systems
  ACM SIGOPS Operating Systems Review, 1991
• A logic of authentication
  ACM Transactions on Computer Systems, 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 Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• WHAT AWARENESS ISN'T: A SENTENTIAL VIEW OF IMPLICIT AND EXPLICIT BELIEF
  Published by Elsevier ,1986