saag-1----Page:4
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
|
Objectives of AVISPA Develop a rich specification language for formalizing industrial strength security protocols and their properties. Advance state-of-the-art analysis techniques to scale up to this complexity. Develop an integrated tool supporting the protocol designer in the debugging and validation of security protocols: the AVISPA Tool. Assess the tool on a large collection of practically relevant, industrial protocols. Migrate this technology to companies and standardisation organisations. |