loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th International Symposium on Temporal Representation and Reasoning (TIME'04)
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
Tatihou, Normandie, France
July 01-July 03
ISBN: 0-7695-2155-X
ASCII Text
x 
 
Clare Dixon, Mari-Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek, "Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols," Temporal Representation and Reasoning, International Syposium on, pp. 148-151, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/TIME.2004.1314432,
author = {Clare Dixon and Mari-Carmen Fernández Gago and Michael Fisher and Wiebe van der Hoek},
title = {Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols},
journal ={Temporal Representation and Reasoning, International Syposium on},
volume = {0},
year = {2004},
issn = {1530-1311},
pages = {148-151},
doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2004.1314432},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Temporal Representation and Reasoning, International Syposium on
TI - Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
SN - 1530-1311
SP148
EP151
A1 - Clare Dixon,
A1 - Mari-Carmen Fernández Gago,
A1 - Michael Fisher,
A1 - Wiebe van der Hoek,
PY - 2004
KW - null
VL - 0
JA - Temporal Representation and Reasoning, International Syposium on
ER -
 
Clare Dixon, University of Liverpool
Mari-Carmen Fernández Gago, University of Liverpool
Michael Fisher, University of Liverpool
Wiebe van der Hoek, University of Liverpool
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about security protocols. We show how to specify part of the Needham-Schroeder protocol using temporal logics of knowledge and prove various properties using a clausal resolution calculus for this logic.
Citation:
Clare Dixon, Mari-Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek, "Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols," time, pp.148-151, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.