High Language AVISPA

Dec 13 2011 11:31 AM

Hi all,

Does anyone know about AVISPA and High-Level Protocol Specification Language how does it work etc?

Thanks,
TMiB