![基于L2TP的虚拟私有网络技术实现与研究]()
李宁[1]2002年在《基于L2TP的虚拟私有网络技术实现与研究》文中进行了进一步梳理虚拟私有网络VPN(VirtualPrivateNetwork)是近年来兴起的网络热门技术。拥有众多下级单位的政府部门和在全国各地开设了多家分支机构的大型企业都要通过WAN来联接分散的下属子网。以前基本上只能采用专...
![多种VPN实现方式的研究]()
曲光辉[1]2002年在《多种VPN实现方式的研究》文中研究表明在当今世界，交换信息已经是司空见惯的事。要想通过计算机进行信息交换，需要进行网络连接。在最近10年里，计算机局域网和广域网的技术和产品得到飞速增长。随着Internet的普及和飞速发展，它已经成为不同地区的人们之间交换信息的主要载体。既...
![安全协议模型检验技术研究与实现]()
李梦君[1]2005年在《安全协议形式化验证技术的研究与实现》文中认为协议是指两个或者两个以上的参与者为完成某一项特定任务相互约定的执行步骤和执行规则。协议的定义包含叁层含义:(1)协议至少有两个参与者;(2)协议在参与者之间表现为消息交换和消息处理交替进行的一系列步骤;(3)协议的执行是为了能够完...
![VPN在LINUX下的实现]()
姜文[1]2005年在《Linux下VPN安全网关实现技术研究》文中进行了进一步梳理VPN(VirtualPrivateNetwork，虚拟专用网)的目的是在不安全的Internet网络环境中利用安全隧道以及数据加密等技术，构建逻辑上的专用网络，并实现信息数据的安全传输。实际应用中的VPN主要包括了...
![TLS协议的分析研究与软件实现]()
向一帆[1]2017年在《SSL/TLS协议安全性研究》文中研究说明随着互联网的发展,越来越多的重要数据在网络上传输,互联网安全问题越来越成为人们关注的焦点。作为HTTPS安全基础,亦是互联网安全基础的SSL/TLS协议,其安全性的重要性自然不言而喻。之前虽然也有对SSL/TLS协议某些部分或组件的...
![密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑]()
李益发[1]2001年在《密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑》文中研究指明本文探讨了其它BAN类逻辑的缺陷及其产生原因，在此基础上提出了一种新的BAN类逻辑。首先，本文探讨了BAN类逻辑的缺陷，并对产生缺陷的原因作了细致的分析，提出了作者自己独特的看法。其次，本文首次阐释、构建...
![基于SSL的安全Web系统及应用研究]()
邓为[1]2000年在《基于SSL的安全Web系统及应用研究》文中进行了进一步梳理随看Internet深入到社会生活的各个领域，网络安全越来越成为人们普遍关心的话题。目前，围绕WWW网络安全人们提出了不少协议，如SSL、SET、S-HTTP等，SSL协议的历史最为悠久，因此影响也最为深远。当前，国外...
