Title: | 一个基于安全模型的测试用例生成工具 |
Author: | 黄亮
; 冯登国
; 张敏
|
Keyword: | 测试用例
; 信息安全产品测评
; 类型划分
; 安全策略模型
|
Source: | 中国科学院研究生院学报
|
Issued Date: | 2007
|
Issue: | 3, Pages:300-306 | Department: | 中国科学院软件研究所信息安全实验室,中国科学院研究生院,中国科学院软件研究所信息安全实验室 北京100080,北京100049,北京100080
|
Abstract: | 在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生 |
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11392
|
Appears in Collections: | 信息安全国家重点实验室_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
一个基于安全模型的测试用例生成工具.pdf(315KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
黄亮,冯登国,张敏. 一个基于安全模型的测试用例生成工具[J]. 中国科学院研究生院学报,2007-01-01(3):300-306.
|
|
|