Title :
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
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;
Conference_Titel :
Information Assurance and Security, 2009. IAS '09. Fifth International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-0-7695-3744-3
DOI :
10.1109/IAS.2009.49
