中国科学院研究生院学报2007，Vol.24Issue(3)：300-306,7.
一个基于安全模型的测试用例生成工具
A generation tool of test case based on the security model
摘要
关键词
测试用例/信息安全产品测评/类型划分/安全策略模型分类
信息技术与安全科学引用本文复制引用
黄亮,冯登国,张敏..一个基于安全模型的测试用例生成工具[J].中国科学院研究生院学报,2007,24(3):300-306,7.基金项目
国家高技术研究发展计划(863)(2004AA 147070),国家自然科学基金(60273027,60025205)资助 （863）
