Logics for Cryptographic Protocols - Virtues and Limitations (1991)

Cached

Download Links

by V. D. Gligor , Gligor Kailar , S. Stubblebine , L. Gong
Venue:In Proceedings of the Computer Security Foundations Workshop IV
Citations:17 - 2 self