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,566(本体¥14,151)
  • SPRINGER, BERLIN; SPRINGER(2025発売)
  • ポイント 705pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥28,304(本体¥25,731)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 1,285pt
  • 海外取次在庫
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,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/02発売)
  • ポイント 545pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥31,214(本体¥28,377)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 1,415pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥21,821(本体¥19,838)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 990pt
  • 海外取次在庫
Spirituelle Essenz und weltlicher Schein (1., Auflage. 2012. 440 S. 21.7 cm)
  • 洋書
  • ポイントキャンペーン

Spirituelle Essenz und weltlicher Schein (1., Auflage. 2012. 440 S. 21.7 cm)  Hardcover

Hawkins, David R./ UEbersetzung: Basinski, Lars

  • ウェブストア価格 ¥7,142(本体¥6,493)
  • SHEEMA MEDIEN(2012発売)
  • ポイント 320pt
  • 海外からお取り寄せ(通常6~9週間)