A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

Musab A. Alturki, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov und Carolyn Talcott

Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, pp. 192–213

2019