Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

Available
0
StarStarStarStarStar
0Reviews
Basin, DavidBasin, David, Cremers, Cas, Sasse, Ralf, Dreier, Jannik
product_type_E-book
pdf
Price
49.99 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783031909368
  • Publication Date: 27 Jul 2025
  • Publisher: Springer Nature Switzerland
  • Product language: English
  • Drm Setting: DRM