saag-1----Page:15
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
|
The AVISPA Library We have selected a substantial set of security problems associated with protocols that have recently been or are currently being standardized by the IETF. We have formalized in HLPSL a large subset of these protocols; the result of this specification effort is the AVISPA Library. At present the AVISPA Library comprises 112 security problems derived from 33 protocols. We have thoroughly assessed the AVISPA Tool by running it against the AVISPA Library. |