高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
园区网可信网络连接方案设计与验证
作者：
收录：
摘要：
信息时代,网络安全问题备受关注.在网络接入过程中,现有方案大部分只审核用户身份而缺乏对设备安全状况的验证,导致合法用户的非法设备逃过检查,接入网络.利用可信计算技术,提出一种底层使用可信加密模块且符合国家标准的用于园区网络接入的可信网络连接方案.通过BAN逻辑形式化证明了该方案的安全性,并编写测试程序在实体环境中对方案的有效性进行了测试.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2010，北京工业大学学报
2020，信息安全研究
2016，信息网络安全
2010，计算机科学
来源 ：
软件导刊
ISSN： 1672-7800
年份： 2019
期： 11
卷： 18
页码： 126-131
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： -1
中文被引频次：
近30日浏览量： 4
归属院系：
信息学部 计算机学院
全文获取
外部链接：
