Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin
Autor
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783031909368
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-90936-8