| 园区网可信网络连接方案设计与验证 |
| |
| 引用本文： | 刁子朋,胡 俊.园区网可信网络连接方案设计与验证[J].教育技术导刊,2019,18(11):126-131. |
| |
| 作者姓名： | 刁子朋 胡 俊 |
| |
| 作者单位： | 北京工业大学 信息学部计算机学院，北京 100124 |
| |
| 摘 要： | 信息时代，网络安全问题备受关注。在网络接入过程中，现有方案大部分只审核用户身份而缺乏对设备安全状况的验证，导致合法用户的非法设备逃过检查，接入网络。利用可信计算技术，提出一种底层使用可信加密模块且符合国家标准的用于园区网络接入的可信网络连接方案。通过BAN逻辑形式化证明了该方案的安全性，并编写测试程序在实体环境中对方案的有效性进行了测试。
|
| 关 键 词： | 可信计算 可信网络连接 可信密码模块 网络安全 |
| 收稿时间： | 2019-04-09 |
Design and Verification of Trusted Network Connection Under Intranet |
| |
| DIAO Zi-peng,HU Jun.Design and Verification of Trusted Network Connection Under Intranet[J].Introduction of Educational Technology,2019,18(11):126-131. |
| |
| Authors: | DIAO Zi-peng HU Jun |
| |
| Institution: | School of Computer，Beijing University of Technology， Beijing 100124，China |
| |
| Abstract: | Network security is the key points in information security. But most of solutions only check user identity and lack the verification of the status of the device， so that the illegal device will escape the check and access the network. This paper proposes a trusted network connection scheme for campus network using trusted computing technology and conforming to national standards. The author also proved the security of the scheme through the formalization of BAN logic， and tested the effectiveness of the scheme in the physical environment. |
| |
| Keywords: | trusted computing TNCA TCM network security |
|
| 点击此处可从《教育技术导刊》浏览原始摘要信息 |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 |
