Title :
A logic for modeling the dynamics of beliefs in cryptographic protocols
Author :
Zhang, Yan ; Varadharajan, Vijay
Author_Institution :
Sch. of Comput. & Inf. Technol., West Sydney Univ., Kingswood, NSW, Australia
Abstract :
We present a logic of modeling the dynamics of beliefs in cryptographic protocols. Differently from previous proposals, our logic is situation based, in which a protocol is viewed as a finite sequence of actions performed by various principals at different situations, and each action is a primitive term in the language. Therefore, it becomes possible to model the dynamic change of each principal´s beliefs at each step of the protocol within the logic system. Our logic has a precise semantics and is sound with respect to the underlying automatic system
Keywords :
belief maintenance; computational linguistics; cryptography; formal logic; protocols; automatic system; belief dynamics; cryptographic protocols; dynamic change; dynamics modeling; finite sequence of actions; logic system; precise semantics; primitive term; situation based logic; Australia; Authentication; Body sensor networks; Cryptographic protocols; Cryptography; Electronic mail; Information analysis; Information security; Information technology; Logic;
Conference_Titel :
Computer Science Conference, 2001. ACSC 2001. Proceedings. 24th Australasian
Conference_Location :
Gold Coast, Qld.
Print_ISBN :
0-7695-0963-0
DOI :
10.1109/ACSC.2001.906645
