Aniketos-SSVV (Aniketos Security Service Validation and Verification) provides a series of modules that work together to validate the security properties of a Web service composition. The package is given a selection of service compositions (provided in the form of BPMN processes with Web services bound to the service tasks), along with the security policy to be fulfilled. The package then performs various checks on the services to establish whether each composition satisfies the policy, returning an ordered list (ordered in terms of security) of the services that do. It forms part of the larger Aniketos project comprised of four packages in total.
|Tags||Web Services Security Security Analysis Trustworthy Computing SOA SOAP verification Java 1.6 Eclipse composite services bpmn ConSpec Network|
|Licenses||BSD Three-Clause LGPL v3|
|Operating Systems||Linux Windows Java Runtime Environment 6|
|Implementation||Java 6 Eclipse RCP Apache Karaf Apache CXF Apache Felix|
Release Notes: This is the initial testing release. It provides a full working toolchain from submission of BPMN plans through to the ordering of Web Service bindings with respect to security policy compliance. There's still lots of work to do and contributions (bugs, suggestions, code, documentation, etc.) from the community are welcomed.