High Language AVISPA

Question

Hi all,

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

Thanks,
TMiB