Formal Analysis of Authenticated Key Distribution Protocol Using Extended SVO LogicReportar como inadecuado




Formal Analysis of Authenticated Key Distribution Protocol Using Extended SVO Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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







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

Fuente: http://www.scirp.org/



DESCARGAR PDF




Documentos relacionados