Title :
Formal Analysis for Network Security Properties on a Trace Semantics
Author :
Jiang, Yun ; Liu, Xifa
Author_Institution :
Sch. of Inf. Eng., Nanchang Univ., Nanchang
Abstract :
Formal method has been advocated as an important means of improving the safety and reliability of software systems, especial those which are safety-critical. We propose a new simple trace semantics that can be used to specify security properties. Our technique support a protocol designer to provide formal analysis of the security properties. We illustrate the utility of our technique by exposing two attacks on the well studied protocol TMN.
Keywords :
cryptographic protocols; reliability; formal analysis; network security; protocol; reliability; trace semantics; Access protocols; Communication system security; Computer networks; Cryptographic protocols; Cryptography; Detectors; Information analysis; Information security; Software safety; Testing; Formal Analysis; Intruder Model; Model Checking; SPIN/Promela; Security Protocol;
Conference_Titel :
Advanced Computer Theory and Engineering, 2008. ICACTE '08. International Conference on
Conference_Location :
Phuket
Print_ISBN :
978-0-7695-3489-3
DOI :
10.1109/ICACTE.2008.31
