A Short SPAN+AVISPA Tutorial

Thomas Genet 1, *
* Auteur correspondant
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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 : jeudi 15 novembre 2018 - 11:57:43
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

2183

Téléchargements de fichiers

874