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

Clare Dixon, M. Carmen Fernndez Gago, Michael Fisher, Wiebe van der Hoek

Browse the full TIME paper archive.