Security Protocols and Threat Models : Security and Privacy via the Applied π-Calculus (Information Security and Cryptography)
  • 洋書

Security Protocols and Threat Models : Security and Privacy via the Applied π-Calculus (Information Security and Cryptography)  Hardcover,  言語:ENG

Gil-Pons, Reynaldo/ Horne, Ross/ Mauw, Sjouke

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 140pt
  • 海外取次在庫
Operational Semantics and Verification of Security Protocols (Information Security and Cryptography) (2012)
  • 洋書

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography) (2012)  Paperback,  言語:ENG

Cremers, Cas/ Mauw, Sjouke

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ご注文いただけません
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)
  • 洋書

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)  Paperback,  言語:ENG

Habib, Sheikh Mahbub (EDT)/ Vassileva, Julita (EDT)/ Mauw, Sjouke (EDT)

  • ウェブストア価格 ¥12,767(本体¥11,607)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 116pt
  • 海外からお取り寄せ(通常6~9週間)
Graphical Models for Security : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Graphical Models for Security : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mauw, Sjouke (EDT)/ Kordy, Barbara (EDT)/ Jajodia, Sushil (EDT)

  • ウェブストア価格 ¥9,945(本体¥9,041)
  • Springer International Publishing AG(2016/02発売)
  • ポイント 90pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)
  • 洋書
  • 電子版あり

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)  Hardcover

Habib, Sheikh Mahbub (EDT)/ Vassileva, Julita (EDT)/ Mauw, Sjouke (EDT)

  • Springer International Publishing AG(2016/07発売)
  • ご注文いただけません
Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings (Security and Cryptology) (2014)
  • 洋書

Security and Trust Management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings (Security and Cryptology) (2014)  Paperback,  言語:ENG

Mauw, Sjouke (EDT)/ Damsgaard Jensen, Christian (EDT)

  • Springer International Publishing AG(2014/09発売)
  • ご注文いただけません
Security and Trust Management : 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings (Security and Cryptology) (2019)
  • 洋書
  • 電子版あり

Security and Trust Management : 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings (Security and Cryptology) (2019)  Paperback,  言語:ENG

Mauw, Sjouke (EDT)/ Conti, Mauro (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 110pt
  • 海外取次在庫
Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers (Security and Cryptology) (2018)
  • 洋書
  • 電子版あり

Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers (Security and Cryptology) (2018)  Paperback,  言語:ENG

Liu, Peng (EDT)/ Mauw, Sjouke (EDT)/ Stolen, Ketil (EDT)

  • ウェブストア価格 ¥13,262(本体¥12,057)
  • Springer International Publishing AG(2018/02発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。