计算机应用研究2019，Vol.36Issue(4)：1120-1124,5.DOI:10.19734/j.issn.1001-3695.2017.11.1004
单向网络安全设备的分析与证明
Analysis and proof of one-way network safety equipment
摘要
关键词
单向网络安全设备/形式化/无干扰模型/安全策略/数学归纳法分类
信息技术与安全科学引用本文复制引用
王雪健,赵国磊,常朝稳,王瑞云..单向网络安全设备的分析与证明[J].计算机应用研究,2019,36(4):1120-1124,5.基金项目
国家自然科学基金资助项目(61572517) （61572517）
