Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek. Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. In 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France. pages 148-151, IEEE Computer Society, 2004. [doi]
@inproceedings{DixonGFH04,
title = {Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols},
author = {Clare Dixon and M. Carmen Fernández Gago and Michael Fisher and Wiebe van der Hoek},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/time/2004/2155/00/21550148abs.htm},
tags = {protocol, security, logic},
researchr = {https://researchr.org/publication/DixonGFH04},
cites = {0},
citedby = {0},
pages = {148-151},
booktitle = {11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-2155-X},
}