A Short SPAN+AVISPA Tutorial
Thomas Genet · HAL (Le Centre pour la Communication Scientifique Directe) · 2015
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.