[Lecture Notes in Computer Science] Foundations of...

  • Main
  • [Lecture Notes in Computer Science]...

[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, Dusko
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-030-19052-1_13
File:
PDF, 1.62 MB
2019
Conversion to is in progress
Conversion to is failed