Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Ca Cremers, Cas Cremers, Lehmann, Lehmann, Anja Lehmann - Security Standardisation Research
Ca Cremers, Cas Cremers, Lehmann, Lehmann, Anja Lehmann Security Standardisation Research Inglese 01.01.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Cas Cremers, Sjouke Mauw - Operational Semantics and Verification of Security Protocols
Cas Cremers, Sjouke Mauw Operational Semantics and Verification of Security Protocols Inglese 09.11.2014 Tascabile Fr. 70.00 6-7 settimane
David Basin, Cas Cremers, Jannik Dreier, Jannik et al Dreier, Ralf Sasse - Modeling and Analyzing Security Protocols with Tamarin
David Basin, Cas Cremers, Jannik Dreier, Jannik et al Dreier, Ralf Sasse Modeling and Analyzing Security Protocols with Tamarin Inglese 15.07.2025 Copertina rigida Fr. 77.00 6-7 settimane
Ca Cremers, Cas Cremers, Sjouke Mauw - Operational Semantics and Verification of Security Protocols
Ca Cremers, Cas Cremers, Sjouke Mauw Operational Semantics and Verification of Security Protocols Inglese 01.11.2013 Copertina rigida Fr. 91.00 6-7 settimane