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

Cached

Download Links

by Catherine Meadows
Venue:Journal of Computer Security
Citations:95 - 12 self