Adithia, Mariskha Tri
(Jurusan Informatika Fakultas Teknologi Informasi dan Sains Universitas Katolik Parahyangan, 2012)
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 ...