A Short SPAN+AVISPA Tutorial - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2015

A Short SPAN+AVISPA Tutorial

Thomas Genet
Connectez-vous pour contacter l'auteur
Software certification with semantic analysis

Résumé

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.

Domaines

Génie logiciel [cs.SE] Informatique et langage [cs.CL] Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
main.pdf (498.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Thomas Genet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01213074

Soumis le : lundi 27 février 2017-18:02:58

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Archivage à long terme le : dimanche 28 mai 2017-14:14:42

Télécharger pour visualiser

Dates et versions

hal-01213074 , version 1 (07-10-2015)
hal-01213074 , version 2 (15-10-2015)
hal-01213074 , version 3 (06-11-2015)
hal-01213074 , version 4 (04-05-2016)
hal-01213074 , version 5 (27-02-2017)

Identifiants

  • HAL Id : hal-01213074 , version 5

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
5932 Consultations
6277 Téléchargements

Partager

More