Title :
A security imbedded authentication protocol
Author_Institution :
Sch. of Math. & Comput./Inf. Sci., Hyderabad Univ., India
Abstract :
A authentication protocol with security imbedded into it is reported. It is based on a combination of the private-key and the public-key encryption systems. A Petri-net model of the protocol is presented to verify that the protocol is correct and deadlock-free
Keywords :
computer networks; cryptography; directed graphs; program verification; protocols; Petri-net model; computer networks; deadlock-free; private-key; protocol verification; public-key encryption systems; security imbedded authentication protocol; Authentication; Computer aided software engineering; Protocols; Public key;
Conference_Titel :
INFOCOM '88. Networks: Evolution or Revolution, Proceedings. Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies, IEEE
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-0833-1
DOI :
10.1109/INFCOM.1988.13029
