SPAN+AVISPA for Verifying Cryptographic Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2017

SPAN+AVISPA for Verifying Cryptographic Protocols

Thomas Genet

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-01532086 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More