Cargando…
Modeling and verifying security protocols with the applied Pi calculus and ProVerif
This survey focuses on the verification of specifications of protocols in the symbolic model. Even though it is fairly abstract, this level of verification is relevant in practice as it enables the discovery of many attacks.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2016
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2762152 |
| Sumario: | This survey focuses on the verification of specifications of protocols in the symbolic model. Even though it is fairly abstract, this level of verification is relevant in practice as it enables the discovery of many attacks. |
|---|