SPAN+AVISPA for Verifying Cryptographic Protocols

Autre Publication Année : 2017

(1)

Thomas Genet

Software certification with semantic analysis

This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocols

Cryptographic protocols Dolev-Yao Verification avispa span

Génie logiciel [cs.SE]

SPAN+AVISPA2.mp4 (623.23 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-01532086

Soumis le : vendredi 2 juin 2017-14:14:55

Dernière modification le : mercredi 6 novembre 2024-11:12:05

hal-01532086 , version 1 (02-06-2017)

Thomas Genet. SPAN+AVISPA for Verifying Cryptographic Protocols. 2017. ⟨hal-01532086⟩

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

324 Consultations

0 Téléchargements