Skip to Main content Skip to Navigation
Other publications

SPAN+AVISPA for Verifying Cryptographic Protocols

Thomas Genet 1 
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properties on cryptographic protocols
Keywords : Cryptographic protocols Dolev-Yao Verification avispa span
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-01532086
Contributor : Thomas Genet Connect in order to contact the contributor
Submitted on : Friday, June 2, 2017 - 2:14:55 PM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM

Annex

Identifiers

  • HAL Id : hal-01532086, version 1

Collections

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

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

261

Files downloads

0

 

Contact                    Legal Notice                    Personal Data