Select Accept Dynamic Logic

Author

Yong, Lec ; Xingyuan, Chen ; Xiaoqiang, Tong ; Junzhou, Luo

Author_Institution

Comput. Sci. & Eng., Southeast Univ., Nanjing, China

Volume

1

fYear

2002

fDate

28-31 Oct. 2002

Firstpage

200

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;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '02. Proceedings. 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering

Print_ISBN

0-7803-7490-8

Type

conf

DOI

10.1109/TENCON.2002.1181249

Filename

1181249