Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols

Tatihou, Normandie, France July 01-July 03

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/TIME.2004.1314432

11th International Symposium on Tempo ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Clare Dixon Articles by Mari-Carmen Fernández Gago Articles by Michael Fisher Articles by Wiebe van der Hoek

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.