HLPSL Tutorial - AVISPA Project
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. . . . . . . . . . . . Example 2 - common errors, untrusted agents, attack traces.
CONTENTS 2 Introduction The AVISPA Tool provides a suite of applications for building and analysing formal models of security protocols. Protocol models are written in …
Download HLPSL Tutorial - AVISPA Project
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: