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 Connect in order to contact the contributor
Submitted on : Monday, February 27, 2017 - 6:02:58 PM
Last modification on : Monday, June 27, 2022 - 3:06:21 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

5301

Files downloads

5047