This page (revision-1) was last changed on 29-Nov-2024 16:16 by UnknownAuthor

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Page revision history

Version Date Modified Size Author Changes ... Change note

Page References

Incoming links Outgoing links
Gong Needham Yahalom logic...nobody
Gong Needham Yahalom logic

Version management

Difference between version and

At line 1 added 16 lines
!!! 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-
This page (revision-1) was last changed on 29-Nov-2024 16:16 by UnknownAuthorTop