Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. In Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, editors, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Volume 11565 of Lecture Notes in Computer Science, pages 192-213, Springer, 2019. [doi]
Abstract is missing.