Reasoning about Belief in Cryptographic Protocols (1990)

Cached

Download Links

by Li Gong , Roger Needham , Raphael Yahalom
Venue:Proceedings 1990 IEEE Symposium on Research in Security and Privacy
Citations:187 - 6 self

Document Versions

Reasoning about Belief in Cryptographic Protocols –Li Gong, Roger Needham, Raphael Yahalom — 1990 — Proceedings 1990 IEEE Symposium on Research in Security and Privacy