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

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

Analysis and proof of one-way network safety equipment

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.