SuD - SOAP under Dolev-Yao

SuD is a tool for the automatic verification of Web Services Security protocols. SuD is implemented in Java and uses JAXP for manipulating SOAP messages.

SuD makes use of Casper in order to perform the actual verification.