Download details

Download details are shown below.

Download

Aniketos-SSVV
Version 0.01 (25 May 2014) for Linux and Windows.
Validates the security properties of Web Service compositions. Provide a composition in the form of a BPMN process with Web Services bound to service tasks and a security policy, and the SSVV toolchain will verify the processes against the security policy, ordering them based on security.
Download: source, screenshot.