摘要：Web服务组合安全性检测对提高Web服务组合在复杂网络环境下的安全性具有重要意义.针对Web服务组合安全检测存在的问题,提出了一种Web服务组合安全性动态检测框架,并对其中的服务组合流程建模技术、安全模型以及安全检测算法等关键技术进行了详细分析,最后通过实例进一步说明该框架能够实现安全性检测的基本功能.

关键词：web服务组合 安全检测 动态检测算法 

单位：国防科学技术大学计算机学院 湖南长沙410073