Operational Semantics and Verification of Security Protocols
Autor Cas Cremers et al.
31 oct 2012
Hardback
Preț: 402.57 lei 503.22 lei
6-8 săpt.
-20%
Cărți de Sjouke Mauw
Public Key Infrastructure
Editat de Stig F. Mjølsnes et al.
3 iun 2008
Paperback
Preț: 318.94 lei 398.67 lei
6-8 săpt.
-20%
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Editat de Jos C.M. Baeten et al.
13 aug 1999
Paperback
Preț: 629.66 lei 740.78 lei
6-8 săpt.
-15%
Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
Editat de Sjouke Mauw et al.
22 sep 2014
Paperback
Preț: 316.11 lei 395.14 lei
6-8 săpt.
-20%
Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Editat de Peng Liu et al.
21 feb 2018
Paperback
Preț: 340.64 lei 425.80 lei
6-8 săpt.
-20%
Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
Editat de Sheikh Mahbub Habib et al.
2 iul 2016
Hardback
Preț: 342.48 lei 428.09 lei
38-44 zile
-20%
Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Editat de Sjouke Mauw et al.
18 feb 2016
Paperback
Preț: 256.49 lei 320.61 lei
6-8 săpt.
-20%
Security Protocols and Threat Models
Autor Reynaldo Gil-Pons et al.
25 noi 2025
Hardback
Preț: 405.44 lei 506.80 lei
6-8 săpt.
-20% Nou
Security and Trust Management: 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26–27, 2019, Proceedings
Editat de Sjouke Mauw et al.
17 sep 2019
Paperback
Preț: 314.22 lei 392.77 lei
6-8 săpt.
-20%