1～6件／全6件 セーフサーチ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
  • 海外取次在庫
Applied Information Security : A Hands-on Approach （2011）
  • 洋書

Applied Information Security : A Hands-on Approach （2011）  Paperback,  言語：ENG

Basin, David/ Schaller, Patrick/ Schläpfer, Michael

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/11発売）
  • ご注文いただけません
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence Vol.3097) （2004. XII, 491 p. 23,5 cm）
  • 洋書

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence Vol.3097) （2004. XII, 491 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by David Basin and Michael Rusinowitch

  • ウェブストア価格 ¥27,844（本体¥25,313）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 253pt
  • 海外取次在庫
Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Security and Cryptology) （2013）
  • 洋書

Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Security and Cryptology) （2013）  Paperback,  言語：ENG

Basin, David (EDT)/ Mitchell, John C. (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/02発売）
  • ポイント 110pt
  • 海外取次在庫
The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)
  • 洋書

The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)  Hardcover

Chuat, Laurent/ Legner, Markus/ Basin, David

  • ウェブストア価格 ¥30,198（本体¥27,453）
  • Springer International Publishing AG（2022/05発売）
  • ポイント 274pt
  • 海外からお取り寄せ（通常6～9週間）
The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)
  • 洋書

The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)  Paperback

Chuat, Laurent/ Legner, Markus/ Basin, David

  • ウェブストア価格 ¥22,102（本体¥20,093）
  • Springer International Publishing AG（2023/05発売）
  • ポイント 200pt
  • 海外取次在庫
1～6件／全6件
  •