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 and Carolyn Talcott

LNCS, (11565):192–213

2019 · doi:10.1007/978-3-030-19052-1