Modelling a public-key infrastructure

This publication has 15 references indexed in Scilit:

• Designing secure communication protocols from trust specifications
  Algorithmica, 1994
• Security architectures using formal methods
  IEEE Journal on Selected Areas in Communications, 1993
• A logic for reasoning about security
  ACM Transactions on Computer Systems, 1992
• An axiomatic theory of trust in secure communication protocols
  Computers & Security, 1992
• Authentication in distributed systems
  ACM SIGOPS Operating Systems Review, 1991
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• Probabilistic logic
  Artificial Intelligence, 1986
• Probability logic.
  Notre Dame Journal of Formal Logic, 1984
• A method for obtaining digital signatures and public-key cryptosystems
  Communications of the ACM, 1978
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976