loading...
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols
Gold Coast, Queensland, Australia January 29-February 02
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSC.2001.906645Australasian Computer Science Confere ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Yan Zhang, Vijay Varadharajan, "A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols," Australasian Computer Science Conference, pp. 215, Australasian Computer Science Conference (ACSC '01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ACSC.2001.906645,
author = {Yan Zhang and Vijay Varadharajan},
title = {A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols},
journal ={Australasian Computer Science Conference},
volume = {0},
year = {2001},
issn = {1530-0900},
pages = {215},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSC.2001.906645},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Australasian Computer Science Conference
TI - A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols
SN - 1530-0900
SP
EP
A1 - Yan Zhang,
A1 - Vijay Varadharajan,
PY - 2001
KW - information security
KW - logic
KW - cryptographic protocol
VL - 0
JA - Australasian Computer Science Conference
ER -
 
Yan Zhang, University of Western Sydney, Nepean
Vijay Varadharajan, University of Western Sydney, Nepean
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.
Index Terms:
information security, logic, cryptographic protocol
Citation:
Yan Zhang, Vijay Varadharajan, "A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols," acsc, pp.215, Australasian Computer Science Conference (ACSC '01), 2001
Usage of this product signifies your acceptance of the Terms of Use.