摘要
单向网络安全设备是不同密级间网络信息传输的主要安全设备。为了保证单向网络安全设备内部的安全性和通信系统的安全性,分析了单向网络安全设备的安全需求,提出无干扰模型形式化建模,用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性;针对单向网络安全设备存在的安全隐患进行分析与讨论,总结出更加完善的安全策略,确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。
One-way network safety equipment is the major security equipment of information transmission between different classified levels.To ensure the safety equipment within the one-way network security and the security of the communication system,this paper analyzed the security requirements of one-way network security equipment,presented noninterference model,and proved the consistency of one-way network security equipment safety requirements and formal specification with mathematical induction.It analyzed and discussed the safety hazards of one-way network safety equipment,and the security policy was more perfect for information security.It plays certain referential significance on security design of one-way safety equipment.
作者
王雪健
赵国磊
常朝稳
王瑞云
Wang Xuejian;Zhao Guolei;Chang Chaowen;Wang Ruiyun(Information Engineering University,Zhengzhou 450001,China)
出处
《计算机应用研究》
CSCD
北大核心
2019年第4期1120-1124,共5页
Application Research of Computers
基金
国家自然科学基金资助项目(61572517)
关键词
单向网络安全设备
形式化
无干扰模型
安全策略
数学归纳法
one-way network safety equipment
formalization
noninterference model
security policies
mathematical induction
