1～3件／全3件 セーフサーチON
  •  
Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide (Information Security and Cryptography) （2025. xiv, 325 S. XIV, 325 p. 68 illus., 51 illus. in color. 235 mm）
  • 洋書

Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide (Information Security and Cryptography) （2025. xiv, 325 S. XIV, 325 p. 68 illus., 51 illus. in color. 235 mm）  Hardcover

Basin, David/Cremers, Cas/Dreier, Jannik

  • ウェブストア価格 ¥15,481（本体¥14,074）
  • SPRINGER, BERLIN; SPRINGER（2025発売）
  • ポイント 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発売）
  • ご注文いただけません
Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Lecture Notes in Computer Science) （2018）
  • 洋書
  • 電子版あり

Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Cremers, Cas (EDT)/ Lehmann, Anja (EDT)

  • ウェブストア価格 ¥12,310（本体¥11,191）
  • Springer Nature Switzerland AG（2018/11発売）
  • ポイント 111pt
  • 海外取次在庫
1～3件／全3件
  •