HLPSL Tutorial - AVISPA Project

Validation of Internet Security Protocols and ApplicationsHLPSL TutorialA Beginner s GuidetoModelling and Analysing Internet Security ProtocolsThe AVISPA teamDocument Version: 30, 2006 Project funded by the European Community under theInformation Society TechnologiesProgramme (1998-2002)CONTENTS1 Contents1 HLPSL Using the AVISPA Tool.. Basic Roles.. Transitions.. Composed Roles..72 HLPSL Example 1 - from Alice-Bob notation to HLPSL specification.. Example 2 - common errors, untrusted agents, attack traces.. Modelling Tips and Pitfalls.. Discussion and Analysis Results.. Example 3 - security goals.. Discussion and Analysis Results.. Example 4 - Algebraic Operators..343 HLPSL Priming Variables.. Witness and Request.

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

Loading..

Tags:

  Tutorials, Hlpsl tutorial, Hlpsl

Information