DocumentCode
2202537
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
fYear
2008
fDate
20-22 Dec. 2008
Firstpage
957
Lastpage
960
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Theory and Engineering, 2008. ICACTE '08. International Conference on
Conference_Location
Phuket
Print_ISBN
978-0-7695-3489-3
Type
conf
DOI
10.1109/ICACTE.2008.31
Filename
4737099
Link To Document