1～2件／全2件 セーフサーチ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,313（本体¥13,921）
  • SPRINGER, BERLIN; SPRINGER（2025発売）
  • ポイント 139pt
  • 海外取次在庫
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,078（本体¥10,980）
  • Springer Nature Switzerland AG（2018/11発売）
  • ポイント 109pt
  • 海外取次在庫
1～2件／全2件
  •