Applying Formal Methods to the Analysis of a Key Management Protocol (1992)

Cached

Download Links

by Catherine Meadows
Venue:Journal of Computer Security
Citations:83 - 11 self