单向网络安全设备的分析与证明
来源：计算机应用研究杂志2019年第4期北京时间：
作者：王雪健,赵国磊,常朝稳,王瑞云,
单位：信息工程大学,郑州450001；
摘要：单向网络安全设备是不同密级间网络信息传输的主要安全设备。为了保证单向网络安全设备内部的安全性和通信系统的安全性，分析了单向网络安全设备的安全需求，提出无干扰模型形式化建模，用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性；针对单向网络安全设备存在的安全隐患进行分析与讨论，总结出更加完善的安全策略，确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。
关键词：单向网络安全设备,形式化,无干扰模型,安全策略,数学归纳法,
基金资助：国家自然科学基金资助项目(61572517)；；
