Cărți de Cas Cremers

Modeling and Analyzing Security Protocols with Tamarin

Information Security and Cryptography

Autor David Basin et al.

28 iul 2025

Preț: 417^.07 lei

6-8 săpt.

Operational Semantics and Verification of Security Protocols

Information Security and Cryptography

Autor Cas Cremers et al.

31 oct 2012

Preț: 402^.57 lei 503^.22 lei

6-8 săpt.

-20%

Security Standardisation Research

Lecture Notes in Computer Science, nr. 11322

Editat de Cas Cremers et al.

21 noi 2018

Preț: 316^.83 lei 396^.04 lei

6-8 săpt.

-20%