| 面向组件接口的XACML变异测试策略 |
| |
| 引用本文： | 聂南,夏启明,姚俊峰,何克清.面向组件接口的XACML变异测试策略[J].电子科技大学学报(社会科学版),2009(2). |
| |
| 作者姓名： | 聂南 夏启明 姚俊峰 何克清 |
| |
| 作者单位： | 武汉大学软件工程国家重点实验室;郑州轻工业学院计算机与通信学院; |
| |
| 基金项目： | 国家重点基础研究发展计划(2006CB708302);;中小企业公共技术服务机构补助资金(08C26244202133) |
| |
| 摘 要： | XACML是一种适用于各种信息资源保护的访问控制语言。由于其严格的语法规范,且具有多种平台之间的可移植性,非常适用于各种组件交互的安全管理。借助该访问控制语言提出的一种面向组件的三层访问控制方法,组件交互、接口调用和参数访问都能实现安全控制。在该基础上设计了相应的变异测试策略,规则变异可以导致策略变异,策略变异可以导致整个策略集的变异;反之亦然。通过测试具体实例与验证其语义模型,该测试策略为组件访问及交互提供了安全保障。
|
| 关 键 词： | 访问控制接口 组件 变异测试 访问控制语音 |
Component Interface -Oriented XACML Mutation Testing Policies |
| |
| NIE Nan,XIA Qi-ming,YAO Jun-feng, HE Ke-qing.Component Interface -Oriented XACML Mutation Testing Policies[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2009(2). |
| |
| Authors: | NIE Nan XIA Qi-ming YAO Jun-feng HE Ke-qing |
| |
| Institution: | 1. State Key Laboratory of Software Engineering;Wuhan;University Wuhan 430072;2. School of Computer and Communication;Zhengzhou University of Light Industry Zhengzhou 450002 |
| |
| Abstract: | A kind of three level access control policy towards component is presented by extensible access control markup language (XACML) for the protection of component interaction, interface invocation, and parameters access. Based on this policy, the mutation test strategies are designed: policy mutations follow policy mutations, policyset mutations follow policy mutations, and vice versa. Both the case study and semantical verification shows that the access control of component interface and interactions can be t... |
| |
| Keywords: | access control interface component mutation test XACML |
| 本文献已被 CNKI 等数据库收录！ |
