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
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 : mercredi 16 mai 2018 - 11:24:13

Identifiants

  • HAL Id : hal-01532086, version 1

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〉

Partager

Métriques

Consultations de la notice

473

Téléchargements de fichiers

74