Analysis the Properties of TLS Based on Temporal Logic of Knowledge
Lv Chao, Hui Li, Jianfeng Ma · 2009
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.