[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols
Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, DuskoVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-19052-1_13
File:
PDF, 1.62 MB
english, 2019