单向网络安全设备的分析与证明

• 作者: 常朝稳 王瑞云 王雪健 赵国磊
• 来源期刊: 计算机应用研究
• 关键词: 单向网络安全设备 形式化 无干扰模型 安全策略 数学归纳法
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1120-1124
• 页数: 5页
• 分类号: TP309.1
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2017.11.1004

摘要

单向网络安全设备是不同密级间网络信息传输的主要安全设备.为了保证单向网络安全设备内部的安全性和通信系统的安全性,分析了单向网络安全设备的安全需求,提出无干扰模型形式化建模,用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性;针对单向网络安全设备存在的安全隐患进行分析与讨论,总结出更加完善的安全策略,确保信息安全.这为单向网络安全设备的安全性设计提供了一定的借鉴意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	常朝稳		20	68	5.0	7.0
2	王瑞云		2	2	1.0	1.0
3	王雪健		1	1	1.0	1.0
4	赵国磊		1	1	1.0	1.0