软件简介

Aniketos-SSVV (Aniketos 安全服务严重和校验) 提供一系列的模块用来验证 Web 服务祝贺的安全属性。

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.