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
Wkc5eWRYbE5la3MzYURaSk1XcG1WMlZ1U25wTmEyWlhRMFpFWkU5Q2R6Uk1aa1pCUmtsRU1FWTNVWFZNZWpaSGJsVTFRMUZyVFhwNll6aHRVRzh5VUhObFNFMVlla2xaZWxWT2JXSlplRVF6Y25CdGQyTkJiRGxOWTNveVIyNVJhSFZuWjA5Tk0waElZMmhhWlU1VWRWVk9WQ3N3TVVwUVptNUNZVlpZUTBaM2VVcDFjVGhQVUZac1drMTJRV0o1THpsWFYzbFVPRFo2YjBnMlJXczBPR1FyVXpNeloyTjZObWN5VUhOMVprNDRhVkpKWVVaSlNtNXhTM2xKVjBVNGRUZHhVbGQ0WW5SSFRXdFRZVVZYYmtOc1JtUlNObTFVWlZBeFVuWnhhSEJaWlUxdVN6UXlaVlI0ZUU1M1VWaHdibXBVYVVZNWIyeFhSV3hLVTJSNWVFcFVVVlZJY1RCa2VuZGpZM3B1V1VrMFJVVnJSWFF2YmxKMGIycEpiV0pWWVRGb2EwdDFUbE41U1M5bWJteDNTRGd2Um5aWFZtVldLMmxaUld4VmMyRlVaVTAyUjNkalJsVTJXbWR6WW5neFlrNUtURlJVVUM5emRuVlpkSGhLU2lzdkwwcElSVGd3UzNkRFJFSjBLemcxWTNKelJETkhSRUUwZDJKeUsxZFNkMXAzYXpWSGRIVnBWek4wTm1sTWJUSlhLM2xXWWtkb2RIY3JPR1phYzAxWlpWaHBia1pLWmtSWGNpOHhibTFCSzFOT1RYWlFTMjVTY1RKRVVVbGhUR1o2VkhkeFNsTnlUQ3RLVDFOcWFGSkZXRGh3VWtaak9VMWxXREl3VlRGdVEwUndPRzl6ZUZWNFN5OWpiWE5JZFRacWJrMDNXVU14VGpSRU0wVnZOVGM1VFM4ekwzRnRaakZxTmtWRGJGaHlWRmhEVG1acWVGSXdjV2c1SzFWWFVsRTBiblJRWTNoR1RUWkRhVU5sVmprcmEzTmFXRVpxV2psQ1dYRkRlV1p0ZFVwTUsxZ3pPR28xUkU1b1l6aGFObWh1UzNSVWVYZHdSVmswTmtGT2ExUlBNRlkzU0hwU2RUSm5RV05SYjBsNGRHcEphVkJXWkVGVlVUazFOMU12U1Rac1IzaExaR3BuVWxCVGVrZEZOVVZaZWk5ek5IYzlQUT09Onc5b0FPeG5WNHZlSXNiR0duZFUvRmc9PQ==
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
-
10%Introduction To Security ScienceSpringer Nature Switzerland AG66,91€
74,34€portes grátis -
10%Fault-Tolerant Distributed Consensus In Synchronous NetworksSpringer International Publishing AG133,83€
148,70€portes grátis