!!! Overview
[{$pagename}]  (GNY logic) proposes an extension of the [Burrows Abadi Needham logic]

[{$pagename}] extension offers a number of advantages over the [Burrows Abadi Needham logic] approach.

[{$pagename}] 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. 

[{$pagename}] 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:
[{ReferringPagesPlugin before='*' after='\n' }]
----
* [#1] - [Some Remarks on the Logic of Gong,Needham and Yahalom|http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=C2C5D7477A669A45B5E10EB60DE058D6?doi=10.1.1.50.6023&rep=rep1&type=pdf|target='_blank'] - based on information obtained 2017-12-02-