flypig.co.uk

The partners of the Aniketos project have all agreed for the code that makes up the Security Service Verification and Validation Toolchain to be released as Open Source on GitHub. This is part of the Aniketos project that I've been working on and has been in development for the last three years. Aniketos provides quite an advanced framework. It's Java-based and runs in Karaf as a set of interacting Web Services that allow the verification and ordering of other Web Service compositions that have been built using the Aniketos Service Composition Framework. If you're interested in Web Service security I recommend taking a look.