一种基于Petri网的Web服务组合安全性动态检测技术  

A Petri net based Web services composition security dynamic detecting technology

作　　者：周洁[1] 任江春[1] 王志英[1] 程勇[1] 梅松竹[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2014年第2期250-257,共8页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60903204;61070201)

摘　　要：Web服务组合安全性检测对提高Web服务组合在复杂网络环境下的安全性具有重要意义。针对Web服务组合安全检测存在的问题,提出了一种Web服务组合安全性动态检测框架,并对其中的服务组合流程建模技术、安全模型以及安全检测算法等关键技术进行了详细分析,最后通过实例进一步说明该框架能够实现安全性检测的基本功能。Web services composition security detection is important to enhance Web services composition security in complex network environment.To solve the existing problem in it,the paper proposes a Web services composition security dynamic detecting framework and analyzes the key technology in detail,such as services composition modeling technology,security model and security detecting algorithm. Finally,an example test is taken to show it can realize the security detection function.

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

分 类 号：TP309.3[自动化与计算机技术—计算机系统结构]