Skip to Main content Skip to Navigation
Reports

A Short SPAN+AVISPA Tutorial

Thomas Genet 1, *
* Corresponding author
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.
Complete list of metadata

https://hal.inria.fr/hal-01213074
Contributor : Thomas Genet <>
Submitted on : Monday, February 27, 2017 - 6:02:58 PM
Last modification on : Friday, January 8, 2021 - 3:12:38 AM
Long-term archiving on: : Sunday, May 28, 2017 - 2:14:42 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01213074, version 5

Citation

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

Share

Metrics

Record views

4638

Files downloads

2683