Formal Analysis of Authenticated Key Distribution Protocol Using Extended SVO LogicReport as inadecuate




Formal Analysis of Authenticated Key Distribution Protocol Using Extended SVO Logic - Download this document for free, or read online. Document in PDF available to download.

Some new notions and approaches of SVO logic are introduced, which make it has some ability to analyze some authenticated key distribution protocols, and these new notions and axioms can be used to verifying the validity of certificate and the verity of its owners,. In the procedure of our formal derivation of security goals, some conclusions have been derived that Aydos et al.’s protocol can not resist attacks forward security and unkown key-share attack.

KEYWORDS

authentication protocol; key distribution; formal analysis; SVO logic;

Cite this paper







Author: Zhimeng Liu, Hui Fan, Yanli Feng, Yanli Zhao

Source: http://www.scirp.org/



DOWNLOAD PDF




Related documents