Modeling And Analyzing Security Protocols With Tamarin
A Comprehensive Guide
idioma: inglês
Editor:
Springer International Publishing AG, julho de 2025 ‧
ver detalhes do produto
60,82€
10% DESCONTO
IMEDIATO
UVZBckszUTFRa2xpUkdwSllXZGhaM1p0SzNSUE1EUlNiR2NyTUhkQldrUkJSVmt4V25OcmQwOUJjSFpYYjBkVVZWcFZkWE15YlRaeVdXaERUR1paYlU1Q1VtNVJhMmxIV1RkRVVrVllhSEExUTJFMGNHMVlNbXN6Y0dGdFIyMXlVazF1WTNObU5UQm5VVzlLTHpGV2FUaGxXVWQ0ZFRoTGJHTXJSa1JGWTNsUE0wMXJTVnBTVVRKclRuRmtXRmt4T1RnM2NIQjVjRVpTZUhSaGQzaFlSeTlxYm0xdGRqVmxkM0J6WnpWd2VWQm1NamRGUkdKeFMyRjJXRmR2UkVJcmVFTnhRV0pHUW01WVpEbGhWR0l3VDFZeE1XeG1TMUY0UzA1VlNYaDJLM1ZUYURobmNVRTRXRTkwWkhwU1kyRkNaRVZXVVV0RlRFVjBjMmsyZUVrMlNqSkljMVpHTDNoTlUzVTRTV3M0WXlzclRUZGpZbk5PUkVwclpEQTBTa3AwTW0xUFVqTjNORWxOTVVkV09HYzNUa2xpTVRVMlZrRTFhbWswYTFZNVZVaEJZMUpuT0ZkbVpVSmxiWFZ5U2taUU5IUk9XR1pqUld0eU0ySm9aekYwYWtoa1RqWjVRVTFxYmxsMVowTlZXV1YzWWtwS1pWSXhUakpSY1ZnNU1FVlNObFp2U0U5M1RXY3lkRFpWU0hKT2NYUlpabEI0YlVreWFGWXlNV1VyTUc4NVRXRjROM3B3TkhwRFREbDVaV1ZzU1VsTFUwRXlSVUpuU205RFpTOTVPVTVhZEZKRmRIRktRa05DVGxCTlluQjRabXQ2TjJFM2VXVk5TRVpuZEZoaU5qRldRelJRYUdabWJVcHNSa1l4V0dVMWMxWXphMU5KTkhwbFIwNXRZVlZ0YW5ObGVuQldZVUpCZURGTVkybDRNMFpGVVVONlVtcHFiR2w2UTFsWVZrRjVOMFZhZWxCNk5FeHZTMmN4YVdsM1YyYzVjRGswVlVvcmNVb3dObkJ3YWtkNk5XZGhVV2x1UjFKQk1tc3lUMVpGWlZkU1lVNHdjbW8zYXk5TFRuZ3lVM2xYT0dWT2FFRmtRbEV5U0Raa1dqbHlhVXR3WVdWNE9ISXllVUZ3YWtNNWRFdEZkM1UzVjNoeVdrSnpOVVZHTUhSR1dGRTlQUT09OmcyRlYxRmtPSzJmbDVIRW5uZXI1SEE9PQ==
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031909351 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | julho de 2025 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 325 |
| Tipo de produto: | Livro |
| Coleção: | Information Security And Cryptography |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9783031909351 |
LIVROS DA MESMA COLEÇÃO
-
Introduction To Security Science10%Springer Nature Switzerland AG66,91€
74,34€portes grátis -
Fault-Tolerant Distributed Consensus In Synchronous Networks10%Springer International Publishing AG133,83€
148,70€portes grátis