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

／ 第 卷第 期 年 月 ＣＮ ４３１２５８ＴＰ 计算机工程与科学 　 　 － ３６ ２ ２０１４ ２ 　 　　　　 ， ， ＩＳＳＮ１００７１３０Ｘ 　 － Ｖｏｌ．３６ Ｎｏ．２ Ｆｅｂ．２０１４ 　 Ｃｏｍ ｕｔｅｒＥｎ ｉｎｅｅｒｉｎ ＆ Ｓｃｉｅｎｃｅ ｐ 　 ｇ ｇ 　 文章编号： （ ） １００７１３０Ｘ ２０１４０２０２５００８ － － － 一种基于 网的 服务组合安全性动态检测技术＊ Ｐｅｔｒｉ Ｗｅｂ ， ， ， ， 周 洁 任江春 王志英 程 勇 梅松竹 　 　 （ ， ） 国防科学技术大学计算机学院 湖南长沙 ４１００７３ 摘 要： 服 务 组合 安全 性检 测对提高 服 务 组合 在 复杂网络环境 下的安全 性具 有 重要意义 。 Ｗｅｂ Ｗｅｂ 　 ， ， 针对 Ｗｅｂ服 务 组合 安全检 测存在的 问题 提出了一种 Ｗｅｂ服 务 组合 安全性 动 态检 测框架 并 对 其中的服 、 ， 务 组合 流程 建模技术 安全模型以 及 安全检 测算 法等 关键技术 进行了 详细 分析 最后 通过 实例进 一步说 明 该框架 能够实现安全性检 测 的基 本功 能 。 ： ； ； 关键词 Ｗｅｂ服 务 组合 安全检 测 动 态检 测算 法 中图分类号： 文献标志码： ＴＰ３０９．３ Ａ ： ／ ｄｏｉ１０．３９６９ ．ｉｓｓｎ．１００７ １３０Ｘ．２０１４．０２．０１１ ｊ － Ａ ＰｅｔｒｉｎｅｔｂａｓｅｄＷｅｂ ｓｅｒｖｉｃｅｓｃｏｍ ｏｓｉｔｉｏｎ 　 　 　 　 　 　 ｐ ｓｅｃｕｒｉｔ ｄｎａｍｉｃｄｅｔｅｃｔｉｎ ｔｅｃｈｎｏｌｏ ｙ ｙ 　 ｇ ｇｙ