On Belief Evolution in Authentication Protocols (1991) [19 citations — 1 self]
by Rajashekar Kailar, Virgil D. Gligor
In Proceedings of the Computer Security Foundations Workshop IV, PP 103-16, IEEE Computer
http://www.bnetal.com/raja/papers/belief.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Kailar91onbelief,author = {Rajashekar Kailar and Virgil D. Gligor},
title = {On Belief Evolution in Authentication Protocols},
booktitle = {In Proceedings of the Computer Security Foundations Workshop IV, PP 103-16, IEEE Computer},
year = {1991},
pages = {103--116},
publisher = {Society Press}
}
Years of Citing Articles
Abstract:
Authentication protocols can be viewed from the perspective of the evolution of beliefs within a protocol run. Inference rules which ensue from this perspective are presented. These rules can be used to analyze the protocols which the BAN logic [1] can analyze. Additional protocols that can be analyzed include (1) inter-domain authentication where principals must trust all authentication servers of the domains traversed according to a specific policy, and (2) where trust in the secrecy of the encryption key and belief ordering need to be established despite the lack of jurisdiction [5]. 1
Citations
| 1976 | A method for obtaining digital signatures and public key cryptosystems – Rivest, Shamir, et al. - 1978 |
| 169 | Reasoning About Belief in Cryptographic Protocols – Gong, Needham, et al. - 1990 |
| 77 | Kerberos authentication and authorization system – MILLER, NEUMAN, et al. - 1997 |
| 44 | A global authentication service without global trust – Birrell, Lampson, et al. - 1986 |
| 33 | Cascaded Authentication – Sollins - 1988 |
| 9 | R.Needham, "A Logic of Authentication – Burrows - 1990 |
| 2 | Y.Moses, "Knowledge and Common knowledge in a distributed environment – Halpern - 1984 |
| 2 | Kerberos Version 5 RFC, draft 2 – Kohl, Steiner - 1989 |
| 2 | DCE Authorization Services, - Privilege Server – Pato - 1990 |
| 1 | 4] P.-C.Cheng and V.D.Gligor, "On the formal Specification and verification of a Multiparty Session Protocol – Gligor, Kailar, et al. |
