Overview#Gong Needham Yahalom logic (GNY logic) proposes an extension of the Burrows Abadi Needham logic
Gong Needham Yahalom logic extension offers a number of advantages over the Burrows Abadi Needham logic approach.
Gong Needham Yahalom logic distinguishes between possessions and beliefs thus enabling reasoning at a lower level than the Burrows Abadi Needham logic.
The logic includes several additional constructs and rules, thereby allowing a wider range of protocols to be analyzed.
Gong Needham Yahalom logic makes explicit some of the assumptions made in the Burrows Abadi Needham logic approach, and is thus seen to be more general.
More Information#There might be more information for this subject on one of the following:
- [#1] - Some Remarks on the Logic of Gong,Needham and Yahalom - based on information obtained 2017-12-02-