Filtre:

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.

9 noi 2014

Preț: 271^.72 lei 339^.65 lei

Indisponibil temporar

-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%