A HOL Extension of GNY for Automatically Analyzing Cryptographic Protocols (1996)

Download From

IEEE
Download from IEEE

Download Links

by Stephen H. Brackin
Venue:In Proceedings of the Ninth IEEE Computer Security Foundations Workshop
Citations:26 - 2 self