Title :
Select Accept Dynamic Logic
Author :
Yong, Lec ; Xingyuan, Chen ; Xiaoqiang, Tong ; Junzhou, Luo
Author_Institution :
Comput. Sci. & Eng., Southeast Univ., Nanjing, China
Abstract :
The security of communication protocols needs to be considered in a distributed network system, and the formal analysis is one of most important methods in evaluating the security of a protocol. However there is a lack of effective formal analysis tools in analyzing the security of a protocol. In this paper we raise a formal logic used for analyzing security of a protocol, the Select Accept Dynamic Logic. and describe successfully the attack act to the communication protocols - the TMN (Tatebayashi et al. (1990)) protocol and the Needham-Schroeder (1978) protocol - with this logic. The Select Accept Dynamic Logic will provide a new effective tool for the analysis of protocols.
Keywords :
computer network reliability; cryptography; formal logic; formal verification; message authentication; protocols; Needham-Schroeder protocol; Select Accept Dynamic Logic; TMN protocol; attack; communication protocols; distributed network system; formal analysis tool; formal logic; security; Algorithm design and analysis; Authentication; Body sensor networks; Communication system security; Information analysis; Information security; Logic; Protocols; Testing; Tiles;
Conference_Titel :
TENCON '02. Proceedings. 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering
Print_ISBN :
0-7803-7490-8
DOI :
10.1109/TENCON.2002.1181249
