Clare Dixon, M. Carmel Fernandez Gago, Michael Fisher, and Wiebe van der Hoek. Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. In Proceedings of TIME 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Using Temporal Logics of Knowledge in the Formal.. - Dixon, Gago.. (2003) (1 citation) Self-citation (Dixon Gago Fisher Van der hoek) (Correct)
No context found.
C. Dixon, M.-C. F. Gago, M. M. Fisher, and W. van der Hoek. Using temporal logics of knowledge in the formal verification of security protocols. Technical Report ULCS-03-022, University of Liverpool, Department of Computer Science, 2003. http://www.csc.liv.ac.uk/research/ techreports.
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
No context found.
Clare Dixon, M. Carmel Fernandez Gago, Michael Fisher, and Wiebe van der Hoek. Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. In Proceedings of TIME 2004.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Dixon, C., Gago, M.C.F., M. Fisher, W.v.d.H.: Using temporal logics of knowledge in the formal verification of security protocols. In: Proceedings of the International Symposium on Temporal Representation and Reasoning. (2004)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC