![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Foundations of Security, Protocols, and Equational Reasoning Volume 11565 (Essays Dedicated to Catherine A. Meadows) || Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method
Guttman, Joshua D., Landwehr, Carl E., Meseguer, José, Pavlovic, DuskoVolume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-030-19052-1_4
File:
PDF, 435 KB
2019