Institutional Repository
| 一个基于安全模型的测试用例生成工具 | |
| 黄亮; 冯登国; 张敏 | |
| 2007 | |
| Source | 中国科学院研究生院学报
 |
| Issue | 3Pages:300-306 |
| English Abstract | 在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生 |
| Keyword | 测试用例 信息安全产品测评 类型划分 安全策略模型 |
| Department | 中国科学院软件研究所信息安全实验室,中国科学院研究生院,中国科学院软件研究所信息安全实验室 北京100080,北京100049,北京100080 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11392 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 黄亮,冯登国,张敏. 一个基于安全模型的测试用例生成工具[J]. 中国科学院研究生院学报,2007(3):300-306. |
| APA | 黄亮,冯登国,&张敏.(2007).一个基于安全模型的测试用例生成工具.中国科学院研究生院学报(3),300-306. |
| MLA | 黄亮,et al."一个基于安全模型的测试用例生成工具".中国科学院研究生院学报 .3(2007):300-306. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 一个基于安全模型的测试用例生成工具.pd（315KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment