Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

This publication has 26 references indexed in Scilit:

• A timestamp model for determining real-time communications in intelligent networks
  Computer Communications, 1997
• The NRL Protocol Analyzer: An Overview
  The Journal of Logic Programming, 1996
• Applying Formal Methods to the Analysis of a Key Management Protocol
  Journal of Computer Security, 1992
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• Analyzing encryption protocols using formal verification techniques
  IEEE Journal on Selected Areas in Communications, 1989
• Authentication revisited
  ACM SIGOPS Operating Systems Review, 1987
• Authentication protocols for computer networks: I
  Computer Networks and ISDN Systems, 1986
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Timestamps in key distribution protocols
  Communications of the ACM, 1981
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978