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

LNCS, (11565):192–213

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