SPAN+AVISPA for Verifying Cryptographic Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Autre Publication Année : 2017

SPAN+AVISPA for Verifying Cryptographic Protocols

Thomas Genet

Résumé

This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocols
SPAN+AVISPA2.mp4 (623.23 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-01532086 , version 1

Citer

Thomas Genet. SPAN+AVISPA for Verifying Cryptographic Protocols. 2017. ⟨hal-01532086⟩
300 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More