A Short SPAN+AVISPA Tutorial

Thomas Genet 1, *
* Auteur correspondant
1 CELTIQUE - Software certification with semantic analysis
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : The objective of this short tutorial is to show how to use SPAN to understand and debug HLPSL specifications used in the AVISPA cryptographic protocol verification tool. The reader is supposed to be familiar with the HLPSL language, if not please read the HLPSL tutorial first.
Liste complète des métadonnées

https://hal.inria.fr/hal-01213074
Contributeur : Thomas Genet <>
Soumis le : lundi 27 février 2017 - 18:02:58
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : dimanche 28 mai 2017 - 14:14:42

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01213074, version 5

Collections

Citation

Thomas Genet. A Short SPAN+AVISPA Tutorial. [Research Report] IRISA. 2015. 〈hal-01213074v5〉

Partager

Métriques

Consultations de la notice

1637

Téléchargements de fichiers

625