| DBMS安全审计功能测试用例生成方法 |
| |
| 引用本文： | 叶晓俊,刘泊伶,谢丰,张翀斌,李斌.DBMS安全审计功能测试用例生成方法[J].清华大学学报(自然科学版),2011(10):1258-1263,1268. |
| |
| 作者姓名： | 叶晓俊 刘泊伶 谢丰 张翀斌 李斌 |
| |
| 作者单位： | 清华大学软件学院信息系统与工程研究所;中国信息安全测评中心; |
| |
| 基金项目： | 国家“核高基”科技重大专项(2009ZX01045-004-001-03) |
| |
| 摘 要： | 数据库管理系统（DBMS）安全审计功能的符合性测试要求测评人员设计有效覆盖安全功能规范的测试用例。本文提出一种基于安全审计规范使用标记迁移系统（LTS）建立形式化模型的DBMS安全审计测试用例自动化生成方法。该方法根据数据库分级评估的安全目标建立审计功能组件的LTS模型,再依据LTS模型启发式路径搜索算法从模型的路径中...
|
| 关 键 词： | 数据库安全审计 安全目标 标记迁移系统 测试用例生成 |
DBMS security audit function test case generation |
| |
| YE Xiaojun,LIU Boling,XIE Feng,ZHANG Chongbin,LI Bin.DBMS security audit function test case generation[J].Journal of Tsinghua University(Science and Technology),2011(10):1258-1263,1268. |
| |
| Authors: | YE Xiaojun LIU Boling XIE Feng ZHANG Chongbin LI Bin |
| |
| Institution: | YE Xiaojun1,LIU Boling1,XIE Feng2,ZHANG Chongbin2,LI Bin2(1.Institute of Information System & Engineering,School of Software,Tsinghua University,Beijing 100084,China,2.China Information Technology Security Evaluation Center,Beijing 100085,China) |
| |
| Abstract: | Data base management system(DBMS) security audit conformance testing requires evaluators to design test cases which effectively cover all DBMS security target specifications.This paper describes a DBMS security audit test case generation approach based on security audit specifications using labeled transition system(LTS) modeling.This approach first builds the LTS model for the security audit function components for the DBMS security target(DBMS ST),produces audit event sequences based on the path output fr... |
| |
| Keywords: | database security audit security target labeled transition system(LTS) test case generation |
| 本文献已被 CNKI 等数据库收录！ |
|
