A logic of communication in hostile environment

This publication has 7 references indexed in Scilit:

• Using narrowing in the analysis of key management protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An axiomatic basis of trust in distributed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• Knowledge and common knowledge in a distributed environment
  Published by Association for Computing Machinery (ACM) ,1984
• Cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1982
• On the security of public key protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978