An axiomatic theory of trust in secure communication protocols

This publication has 3 references indexed in Scilit:

• An axiomatic basis of trust in distributed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Formal Models for Computer Security
  ACM Computing Surveys, 1981
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978