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]
Abstract is missing.