Analysis the Properties of TLS Based on Temporal Logic of Knowledge

摘要：

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.

关键词： TLS temporal logic knowledge

作者: Lv Chao Li Hui Ma Jianfeng

作者单位: Key Lab of Computer Networks and Information Security of Ministry of Education Xidian University,Xian,China

会议类型: 国际会议

会议名称: The Fifth International Conference on Information Assurance and Security(第五届信息保障与安全国际会议)

会议地点: 西安

会议语种:英文

页码: 19-22

在线出版日期: 2009-08-18（万方平台首次上网日期，不代表论文的发表时间）