|
|||||
|
|
| 基于面向方面技术的服务安全组合故障分析 | |
| 引用本文： | 范贵生,虞慧群,顾春华,陈丽琼. 基于面向方面技术的服务安全组合故障分析[J]. 小型微型计算机系统, 2011, 32(9) |
| 作者姓名： | 范贵生 虞慧群 顾春华 陈丽琼 |
| 作者单位： | 1. 华东理工大学计算机科学与工程系,上海200237;上海市计算机软件评测重点实验室,上海201112 2. 华东理工大学计算机科学与工程系,上海,200237 3. 上海应用技术学院计算机科学与信息工程系,上海,200235 |
| 基金项目： | 国家自然科学基金项目(60473055,60773094)资助; 中央高校基本科研业务费专项基金项目资助; 国家科技支撑计划项目(009BAH46B03)资助; 上海市曙光计划项目(07SG32)资助; 上海市科委重点实验室基金项目(09DZ2272600)资助 |
| 摘 要： | 服务组合作为实现服务增值的一种有效方法,业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化服务安全组合建模及其分析方法.重点讨论了服务的授权、执行的可追踪、数据保护及故障处理,并利用面向方面规范基本模块的行为、描述它们相互关系的手段,编织机制将这些模块动态地集成为一个完整的服务组合模型.基于此,Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力,给出服务组合的正确性准则,并证明了其有效性.具体实例及仿真结果表明,该方法能有效地简化系统建模,有助于提高服务组合的设计质量. |
| 关 键 词： | Web服务 面向方面 Petri网 安全性 故障 |
Aspect-oriented Service Secure Composition and Fault Analysis |
|
| FAN Gui-sheng , YU Hui-qun , GU Chun-hua , CHEN Li-qiong. Aspect-oriented Service Secure Composition and Fault Analysis[J]. Mini-micro Systems, 2011, 32(9) | |
| Authors: | FAN Gui-sheng YU Hui-qun GU Chun-hua CHEN Li-qiong |
| Affiliation: | FAN Gui-sheng1,2,YU Hui-qun1,GU Chun-hua1,CHEN Li-qiong31(Department of Computer Science and Engineering,East China University of Science and Technology,Shanghai 200237,China)2(Shanghai Key Laboratory of Computer Software Evaluating and Testing,Shanghai 201112,China)3(Department of Computer Science and Information Engineering Shanghai Institute of Technology,Shanghai 200235,China) |
| Abstract: | As an effective way to achieve value-added service,service composition has found wide application in various areas.Security is closely related with Web services and important to trustworthy of service composition.However,the methods that can be used to describe and analyze service secure composition are still lacking at present.This paper proposes an aspect-oriented formal modeling 1anguage based on Petri net and its corresponding modeling method for service secure composition,and focuses on the service aut... |
| Keywords: | Web service aspect oriented Petri nets security fault |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |