Formal authentication based on identification of intruder role impersonate
Ke Yang · Journal of Tsinghua University(Science and Technology) · 2001
The size of computer networks has made network security a critical issue. Protocol security and algorithm security are two fundamental aspects of network data security. This paper introduces some classical formal authentication tools for security protocols, and describes an authentication algorithm for security protocol based on intruder identification and security implementation using JAVA. The paper discusses the important idea that an authentication protocol must exchange some secrets and presents a process for protocol authentication which is a variation of a security protocol based on the identification of the intruder and the role that he is assoming. The authentication tool then implements a falsification job.