Analysis the Properties of TLS Based on Temporal Logic of Knowledge

Author

Chao, Lv ; Hui, Li ; Jianfeng, Ma

Author_Institution

Key Lab. of Comput. Networks & Inf. Security of Minist. of Educ., Xidian Univ., Xi´´an, China

Volume

2

fYear

2009

fDate

18-20 Aug. 2009

Firstpage

19

Lastpage

22

Abstract

Temporal logics of knowledge are useful for reasoning about situations where we require both dynamic aspects and informational aspects relating to knowledge. So, the application of temporal logics of knowledge is investigated to the specification and verification the properties of TLS protocol. Two main properties of TLS are given out. And the definitions and lemmas for the proof of these properties are also investigated. Finally, several other kinds of logics which is used to specify and analyze security protocols are discussed.

Keywords

cryptographic protocols; formal specification; formal verification; temporal logic; TLS protocol; informational aspects; reasoning; security protocol; specification; temporal logic of knowledge; verification; Chaos; Computer networks; Computer security; Cryptographic protocols; Data security; IP networks; Information analysis; Information security; Logic; Transport protocols; TLS; knowledge; temporal logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Assurance and Security, 2009. IAS '09. Fifth International Conference on

Conference_Location

Xi´an

Print_ISBN

978-0-7695-3744-3

Type

conf

DOI

10.1109/IAS.2009.49

Filename

5283506