在线交换密钥的挑战-应答身份认证协议及其形式化验证

身份认证协议保障应用系统安全的同时,还能够提供在线交换密钥功能,是很多网络应用系统为解决身份认证方案提出的新需求。针对这个问题,本文基于共享密钥提出一种新的基于挑战-应答机制的在线交换密钥新方案,并详细分析了新方案的交互过程及其安全性证明,并进行了模拟实现。BAN逻辑证明,该方案保证高安全的同时提供了密钥交换功能,协议达到了认证目标。     

多ISP网络环境智能DNS解析系统的研究与设计

天津师范大学通过网通、电信、教育网三种介质接入网络,DNS智能解析是根据客户端请求IP的不同来源给客户端返回不同的服务器地址。文章以Redhat系统为例,通过建立VIEW视图,并配置相应功能实现DNS智能解析。     

容户端PC机网络故障的排除

<正>在局域网通信连通时,诊断及维护客户端个人计算机上不了网的问题是用户最常见的问题。现在internet用户基本运用TCP/IP通信协议上网,一般来说,计算机与网络进行了物理连接与逻辑连接,就可以上网了,但经常出现网络故障上不了网,有硬件原因,也有软件问题。那么,怎么判断协议没有安装好?什么时候是网卡问题?什么情况下是线路问题?本文介绍了通过按顺序使用PING命令用排除法隔离问题进行网络维护的操作方法及使用原理,为上网用户诊断及维护网络故障提供相应的步骤。1 Ping PC机所在的网关IP 验证从本机到网关的物理线路是否连通。通却不能上网,如果不是网线正线与反线错用,肯定不是线路问题,基本上属于计算机设置问题,检查代理设置、是否与局域网内计算机使用了相同的IP地址、网卡驱动能否正常工作、IP地址的设置是否符合所在网络的要求,特别是DNS服务器的配置值等等;PING不通,有可能属于线路和计算机设置两个方面的问题。 Ping是TCP/IP环境下用于验证与其它计算机是否连通的命令。Ping命令通过发送一个工作在网络层的TCMP回显请求报文给目的主机,根据ICMP应答能够检测与目标主机的通讯是否畅通,如出现“Reply from……”字样表示可以上网了,否则表示本机到它的网关物理线路有故障。     

基于X.509身份认证协议的研究

随着信息技术的迅速发展,因特网进入社会生活的各个领域,在网络环境下信息安全的问题日益突出。文章介绍了基于X.509证书的身份认证协议方案,分别阐述了单向身份认证、双向身份认证和三向身份认证,对其安全性做了分析,并对其广泛应用做了一点启示。     

校园一卡通服务器被黑客入侵的安全解决方案

数字化校园(一期)建设项目从环境(设备管理、校园空间信息、弱电管网等),资源(图书、档案、视音频资源等)到管理(教学、人事、办公、科研)实现学校办公自动化。一卡通系统安全建设作为数字化校园重要的组成部分,集防病毒、防Web攻击、防木马入侵、容灾一体化于一体,既能为网管员提供各服务器端口实时的流量统计及性能检测,又能为天津师范大学数字化校园建设保驾护航,网络设备安全将成为数字化校园建设领域所研究和发展的重点方向之一。     

在线建立会话密钥身份认证协议的设计与实现

挑战-应答身份认证协议由于安全性较高,用户端运算量较小成为中小型网络应用系统十分青睐的身份认证解决方案。本文在分析、改进挑战-应答经典协议的基础上,从易于实现、符合用户使用习惯的角度,提出一种新的挑战-应答协议,并对其进行了安全性分析,在B/S模式下实现了应用。这种协议具有高安全性的同时,结构简捷,易于实现,而且能够让通信双方在线建立会话密钥,对加密随后的通信具有重要意义。     

客户端PC机网络故障的排除

在局域网通信连通时,诊断及维护客户端个人计算机上不了网的问题是用户最常见的问题。现在internet用户基本运用TCP／IP通信协议上网,一般来说,计算机与网络进行了物理连接与逻辑连接,就可以上网了,但经常出现网络故障上不了网,有硬件原因,也有软件问题。那么,怎么判断协议没有安装好?什么时候是网卡问题?什么情况下是线路问题?本文介绍了通过按顺序使用PING命令用排除法隔离问题进行网络维护的操作方法及使用原理,