Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide
56,10 €
Springer
Sivumäärä: 325 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2025, 28.07.2025 (lisätietoa)
Kieli: Englanti
Tuotesarja: Information Security and Cryptography
Sivumäärä: 325 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2025, 28.07.2025 (lisätietoa)
Kieli: Englanti
Tuotesarja: Information Security and Cryptography
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Näytä kaikki tuotetiedot
ISBN:
9783031909351
Aihealue: