|
Published Articles >> Table of Contents >> Abstract
Australasian Computer Science Conference (ACSC '01)
p. 215
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols
Yan Zhang, University of Western Sydney, Nepean
Vijay Varadharajan, University of Western Sydney, Nepean
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSC.2001.906645
Send link to a friend
| 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 axiomatic system.
|
 Additional Information
|
Index Terms- information security, logic, cryptographic protocol
Citation:
Yan Zhang, Vijay Varadharajan,
"A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols,"
acsc,
p. 215,
Australasian Computer Science Conference (ACSC '01),
2001
|
|
