http://www.haka-security.org/
Haka is an open source security oriented language which allows to describe protocols and apply security policies on (live) captured traffic.