-
-
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
-
税込価格：
11,778円
海外在庫あり
通常２～５週間で出荷
-
-
Trust Management X
10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
IFIP Advances in Information and Communication Technology
-
Habib, Sheikh Mahbub (EDT)
Vassileva, Julita (EDT)
Mauw, Sjouke (EDT)
-
出版社：Springer International Publishing Ag
出版年月：2018年 06月
装丁：PAP
言語：ENG
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Graphical Models for Security
Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Lecture Notes in Computer Science .9390
-
Herausgegeben von Mauw, Sjouke
Kordy, Barbara
Jajodia, Sushil
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 02月
装丁：PAP
言語：ENG
版次：1st ed. 2016. 2016. ix
-
税込価格：
9,902円
海外在庫あり
通常２～５週間で出荷
-
-
Security and Trust Management
10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings
Lecture Notes in Computer Science / Security and Cryptology .8743
-
Herausgegeben von Mauw, Sjouke
Damsgaard Jensen, Christian
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2014年 09月
装丁：PAP
版次：2014. 2014. x
-
税込価格：
11,317円
海外在庫あり
通常２～５週間で出荷
-
-
Trust Management X
10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings
IFIP Advances in Information and Communication Technology .473
-
Herausgegeben von Habib, Sheikh Mahbub
Vassileva, Julita
Mauw, Sjouke
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 07月
装丁：HRD
版次：1st ed. 2016. 2016. xii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Security and Trust Management
15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings
Lecture Notes in Computer Science 11738
-
Herausgegeben von Mauw, Sjouke
Conti, Mauro
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. ix
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Lecture Notes in Computer Science 10744
-
Herausgegeben von Liu, Peng
Mauw, Sjouke
Stolen, Ketil
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xi
-
税込価格：
9,902円
海外在庫あり
通常２～５週間で出荷
