一种基于描述逻辑的等级保护安全校验方法

• 作者: 富宜宇 张保稳
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 等级保护 描述逻辑 推理机 安全校验
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 安全与保密
• 页码范围: 2554-2560
• 页数: 7页
• 分类号: TP309
• 字数: 4877字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2017.11.028

摘要

作为国内现有的较为成熟的信息系统安全标准,《信息系统安全等级保护基本要求》在我国信息系统安全建设中发挥了巨大作用.描述逻辑作为一种知识表达的逻辑集,具有强大的表达能力和可判定性,可满足安全策略建模的需求.因此,提出了一种信息系统等级保护安全校验方法.该方法以描述逻辑为基础进行面向等级保护的系统安全建模,之后通过使用推理机进行安全规约符合性判定.实验表明,该方法可以在降低安全审计人员工作量的同时,提升其结果的准确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张保稳	上海交通大学电子信息与电气工程学院	36	240	9.0	14.0
2	富宜宇	上海交通大学电子信息与电气工程学院	2	4	1.0	2.0