IEEE - Institute of Electrical and Electronics Engineers, Inc. - A HOL extension of GNY for automatically analyzing cryptographic protocols

Proceedings 9th IEEE Computer Security Foundations Workshop

Author(s): Brackin, S.H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Kenmare, Ireland, Ireland
Conference Date: 10 June 1996
Page(s): 62 - 76
ISBN (Paper): 0-8186-7522-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1996.503691
Regular:

This paper describes a Higher Order Logic (HOL) theory formalizing an extended version of the Gong, Needham, Yahalom (GNY) belief logic, a theory used by software that automatically proves... View More

Advertisement