论文部分内容阅读
阐述了信息安全等级测评过程、模型和测试方法。探讨了使用TTCN-3核心语言将测评标准转换为测试套的可能性，提出了用一致性测试模型进行信息安全等级测评的方法。根据一致性测试模型，给出了信息安全等级测评系统的设计方案。这一方案用强描述性规范化语言把权威的标准条款定义为测评标准库，再通过高层描述语言的通用转换平台转化为测试任务，然后由分布式的测评管理平台调度测评执行平台进行测评。