Automated Verification of Timed Security Protocols with Clock Drift

Li Li, Jun Sun 0001, Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 513-530, 2016. [doi]

Abstract

Abstract is missing.