The difference between the ban logic and the gny logic

Adithia, Mariskha Tri

dc.contributor.author	Adithia, Mariskha Tri
dc.date.accessioned	2017-01-23T04:45:33Z
dc.date.available	2017-01-23T04:45:33Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/123456789/667
dc.description.abstract	This paper discusses the BAN logic and the GNY logic whlch is an improvement of the first one. These two logics are applied to explain protocols step by step, with all initial assumptions made explicit and with the final states clearly set out. We focus on the differences between the logics, especially the approach used, the formulas and the logical postulates applied. Examples on how the logics are applied to proof protocols are also provided.	en_US
dc.publisher	Jurusan Informatika Fakultas Teknologi Informasi dan Sains Universitas Katolik Parahyangan	en_US
dc.title	The difference between the ban logic and the gny logic	en_US
dc.type	Research Reports	en_US