HLPSL Tutorial - AVISPA Project

← Back to document page

Validation of Internet Security Protocols and ApplicationsHLPSL TutorialA Beginner s GuidetoModelling and Analysing Internet Security ProtocolsThe AVISPA teamDocument Version: 30, 2006Project funded by the European Community under theInformation Society TechnologiesProgramme (1998-2002)CONTENTS1Contents1 HLPSL Using the AVISPA Tool. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Basic Roles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Transitions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Composed Roles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .72 HLPSL Example 1 - from Alice-Bob notation to HLPSL specification.

3 1 HLPSL Basics AVISPA provides a language called the High Level Protocol Specification Language (HLPSL) [3, 9] for describing security protocols and specifying …

  Tutorials, Hlpsl tutorial, Hlpsl