Example: barber
Search results with tag "Avispa project"
HLPSL Tutorial - AVISPA Project
www.avispa-project.orgwww.avispa-project.org IST-2001-39252 Automated Validation of Internet Security Protocols and Applications HLPSL Tutorial A Beginner’s Guide to Modelling and Analysing Internet Security Protocols