文件名称：Security-Service-Validation-and-Verification:安全服务验证和验证
文件大小：11.25MB
文件格式：ZIP
更新时间：2024-06-19 02:10:53
Java
#Security-Service-Validation-and-Verification ＃＃简短的介绍 Security Service Validation and Verification 包提供了一系列模块，这些模块协同工作以验证 Web 服务组合的安全属性。 该包提供了一系列服务组合（以 BPMN 流程的形式提供，Web 服务绑定到服务任务），以及要实现的安全策略。 然后包对服务执行各种检查以确定每个组合是否满足策略，返回满足的服务的有序列表（按照安全性排序）。 ＃＃概述 该软件包提供了一组安全检查，用于验证服务规范的安全属性并验证安全规定是否满足运行时的策略。 验证过程涉及对服务实现的分析，以确保符合服务合同中所表达的所需安全属性。 验证是在原子和复合服务级别进行的。 该工具当前实现的属性如下： 机密性（基于 WS-Security 检查） 危险函数（源码测试）