A Logical Language for Specifying Cryptographic Protocol Requirements (1993)

Cached

Download Links

by Paul Syverson , Catherine Meadows
Venue:In Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy
Citations:48 - 17 self