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
Type de document :
Autre publication
This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properti.. 2017
Liste complète des métadonnées
https://hal.inria.fr/hal-01532086
Contributeur : Thomas Genet <>
Soumis le : vendredi 2 juin 2017 - 14:14:55
Dernière modification le : jeudi 15 novembre 2018 - 11:58:59

Annexe

Identifiants

  • HAL Id : hal-01532086, version 1

Collections

UNIV-RENNES1 | INRIA | IRISA | UR1-UFR-ISTIC | INRIA2017 | UNIV-RENNES

Citation

Thomas Genet. SPAN+AVISPA for Verifying Cryptographic Protocols. This is a video tutorial to learn how to use SPAN+AVISPA to automatically check security properti.. 2017. 〈hal-01532086〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

676

Téléchargements de fichiers

74

Contact


archive-ouverte@inria.fr