Stephen H. Brackin;Shiu-Kai Chin
-;-
A HOL extension of GNY for automatically analyzing cryptographic protocols
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations