a security function test suite generation method based on security policy model

	a security function test suite generation method based on security policy model
	Zhang Min ; Feng Dengguo ; Chen Chi
刊名	Jisuanji Yanjiu yu Fazhan/Computer Research and Development
	2009
卷号	46 期号:10 页码:1686-1692
关键词	Automation Database systems Management information systems Security systems Specifications Testing
ISSN号	10001239
收录类别	EI
语种	中文
公开日期	2011-03-18
附注	The third-party independent security function testing is one essential step of the security evaluation of security products. Generally the test case generation of independence testing is based on the product specification. However, in the independence testing of security products such as the secure database management system (SDBMS), the product must satisfy the requirement of the security policies in addition to the requirement of the product specification, which describes the objects and the measurement of the protection. Since the behaviors of security products are more precisely described in the security models instead of the specifications, the authors provide a test case generation method based on the formal security policy model. The method include the generation of the test specification based on the formal security policy model, the test space partitioning based on both the grammar and rules; partitioning rule based on the type and the combination principles. The method is more likely to find the fault and error in the product than in manual testing, and it helps the automation of testing and improves the efficiency.
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/8058]
专题	软件研究所_信息安全国家重点实验室_期刊论文
推荐引用方式 GB/T 7714	Zhang Min,Feng Dengguo,Chen Chi. a security function test suite generation method based on security policy model[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2009,46(10):1686-1692.
APA	Zhang Min,Feng Dengguo,&Chen Chi.(2009).a security function test suite generation method based on security policy model.Jisuanji Yanjiu yu Fazhan/Computer Research and Development,46(10),1686-1692.
MLA	Zhang Min,et al."a security function test suite generation method based on security policy model".Jisuanji Yanjiu yu Fazhan/Computer Research and Development 46.10(2009):1686-1692.