园区网可信网络连接方案设计与验证  

Design and Verification of Trusted Network Connection Under Intranet

作　　者：刁子朋 胡俊 DIAO Zi-peng;HU Jun(School of Computer,Beijing University of Technology,Beijing 100124,China)

机构地区：[1]北京工业大学信息学部计算机学院

出　　处：《软件导刊》2019年第11期126-131,共6页Software Guide

摘　　要：信息时代,网络安全问题备受关注。在网络接入过程中,现有方案大部分只审核用户身份而缺乏对设备安全状况的验证,导致合法用户的非法设备逃过检查,接入网络。利用可信计算技术,提出一种底层使用可信加密模块且符合国家标准的用于园区网络接入的可信网络连接方案。通过BAN逻辑形式化证明了该方案的安全性,并编写测试程序在实体环境中对方案的有效性进行了测试。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.

关 键 词：可信计算 可信网络连接 可信密码模块 网络安全 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]