Work

A Short SPAN+AVISPA Tutorial

Year: 2015

Type: report

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.

Source: HAL

Author: Genet, Thomas

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2340597701

Cites:

Cited by: 29

Related to: 10