期刊论文、会议论文

中文

计算机科学

1002-137X

2014

41

7

81-85

第十四届全国Petri 网理论与应用学术年会

第十四届全国Petri 网理论与应用学术年会论文集

2013-08-23

西安

中国计算机学会

10.11896/j.issn.1002-137X.2014.07.016

CCNU13A05053:中央高校基本科研业务费专项华中师范大学项目 11YJA880163:教育部人文社会科学研究项目 2011B039:湖北省教育科学规划课题 2014060101010030:武汉市科技计划 2012BAD35B02:国家科技支撑计划

本校为第一机构

BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点。通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础。最后,通过实例说明了检测机制的有效性。

Mechanism of BPEL access control is one of focal points in Web services secure composition. It is a difficult problem to maintain the activities authorization constraint coordination. With the extended CPN（Colored Petri Nets） for modeling the dynamic behavioral semantics of BPEL activities execution, this paper used the method of coverability tree to analyze the fire sequence of model state transition, and implemented the dynamic consistency detection of activities authorization coordination. The paper provided theoretical foundation for the ...