-
-
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Information Security and Cryptography
-
Basin, David
Cremers, Cas
Dreier, Jannik
-
出版社：Springer
出版年月：2025年 08月
装丁：HRD
-
税込価格：
13,267円
海外在庫あり
通常２～５週間で出荷
-
-
Operational Semantics and Verification of Security Protocols
Information Security and Cryptography
-
Cremers, Cas
Mauw, Sjouke
-
出版社：Springer-Verlag Berlin and Heidelberg GmbH & Co. K
出版年月：2014年 11月
装丁：PAP
言語：ENG
版次：2012
-
税込価格：
12,049円
海外在庫あり
通常２～５週間で出荷
-
-
Security Standardisation Research
4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Lecture Notes in Computer Science 11322
-
Herausgegeben von Cremers, Cas
Lehmann, Anja
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. ix
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
