使用IEEE 802．1X协议实现校园网认证

本文介绍了使用IEEE 802．1X协议实现校园罔认证的方法,并对该认证方式的优点进行分析,认为IEEE 802．1X协议可以较好的解决校园网中存在的安全认证问题。     

基于802．1x协议的校园网认证系统的设计与实现

目前,网络安全问题成为校园网络建设和管理中亟待解决的突出问题．论文在分析了802．1x协议的体系结构与认证机制的基础上,针对我校网络建设与管理的实际,提出并设计了一种基于802．1x协议的校园网认证系统,并阐述了其实现方法．     

基于身份密码学在Kerberos中的应用

本文对传统Kerberos协议和基于公钥密码体制的Kerberos协议的认证服务进行了分析．针对其中的不足和缺陷,提出基于身份密码学的Kerberos认证协议,并分析了该协议的安全性。     

基于802.1x认证的校园网络的规划优化

在分析了传统的PPPOE和Web／Portal认证方式在局域网上的存在问题后，介绍了新的认证协议802．1x，并给出了利用802．1x对校园网络进行优化的应用实例。     

解析SSL握手协议

SSL协议是网络安全的重要协议，被广泛应用于安全数据传输与互联网交易中．它分为记录层协议和握手协议．握手协议允许服务器和客户端相互认证，在传输数据前协商加密算法和密码密钥，本文就握手协议的原理加以解析．     

基于LDAP的统一身份认证目录服务系统研究与设计

本文介绍了LDAP协议和目录服务的基本概念,通过对LDAP自身特点的分析研究,提出了基于LDAP协议的统一身份认证平台的设计理念和实现方法．并根据统一身份认证原理进行目录树的架构设计和单点登录设计,解决了传统认证方式过于复杂的缺点,有效实现了基于LDAP系统的统一授权有效管理,实现平台集成下系统资源的信息共享．并将该用户统一身份认证管理系统应用于信息资源管理与信息服务平台中．     

802．1x协议认证技术分析

802．1x用于对采用以太网技术作为接入手段的用户／设备进行接入认证，并分析了该协议的技术特点和技术优势。     

一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham-Schroeder和Otway-Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标.     

基于802.11i的无线局域网接入认证方式研究

针对无线局域网接入认证过程,探讨传统无线局域网安全处理方法存在的不足。在分析802.lx协议的基础上,采用EAP—MD5协议作为认证框架,构建无线接入控制点,实现基于802.lx协议的EAP MD5认证。     

认证测试与理想分析方法比较

针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.     

保护隐私的凸包生成协议

特殊的安全多方计算目前成为密码学界的一个研究热点。保护隐私的计算几何作为一类特殊的安全多方计算问题,有其广阔的应用前景。文章对其中的安全两方凸包求解问题进行分析,结合STPCH协议对PPCHP_QH协议加以改进,提出一个保护隐私的两方凸包快速生成协议且对其正确性、安全性和复杂性进行分析。     

保护隐私的凸包生成协议

特殊的安全多方计算目前成为密码学界的一个研究热点。保护隐私的计算几何作为一类特殊的安全多方计算问题,有其广阔的应用前景。文章对其中的安全两方凸包求解问题进行分析,结合STPCH协议对PPCHP—QH协议加以改进,提出一个保护隐私的两方凸包快速生成协议且对其正确性、安全性和复杂性进行分析。     

现场总线HART通信协议应用综述

本文通过文献法研究了开放式、数字化的现场总线及现场总线中的HART协议,通过对该协议和最新技术的研究,总结出了现场总线的HART协议的特点,根据HART通信协议的特点给出了HART协议的应用,为下一步研究提供了基础。     

一种基于身份的DH密钥交换协议

基于DH困难问题,提出一种基于身份的两方密钥交换协议,并对协议的安全性进行了分析。所提出的协议中,会话密钥的生成需要参与方的长期私钥和选取的随机数。安全性分析表明,所提出的协议能满足两方密钥交换协议的安全性要求。     

基于动态路由协议的分析与研究

OSPF路由协议是一种典型的链路状态的动态路由协议。本文从协议的数据包头部类型、数据包格式、LSDB数据包结构几方面进行分析,指出OSPF是一种广泛应用的协议,然后提出一种基于LSU数字签名的可信路由协议。     

一种新的轻量化Android蓝牙协议栈的设计与实现

针对Android蓝牙协议栈BlueZ架构的不合理性,提出设计一种轻量化Android蓝牙协议栈.在不改变蓝牙基本协议的前提下,根据Android系统架构的特点,通过对协议栈分散代码的整合和对协议栈代码的裁剪,来达到系统更轻便、架构更合理、性能更优化的效果.最后,通过实验验证了新协议栈的可行性和有效性.     

基于自适应信道切换的抗干扰技术研究

无线传感器网络（WSN）作为家庭智能化应用的重要技术,由于与其它无线技术共用相同频段,导致其结果产生交叉干扰,通信可靠性降低。通过对处于 WiFi 环境中 WSN 设备的通信可靠性进行研究,对自适应信道切换（ARCH）协议进行改进,与汇聚路由树协议（CTP）协调使用,重新设计了无控制信道的自适应信道切换（non-Ctrl CAH）协议。该协议基于实时检测的链路质量,以自适应方式切换到其它信道进行通信,以缓解WiFi 干扰。实验结果表明,在干扰环境中,与固定信道协议相比,non-Ctrl CAH 协议的包接收率达到 95%以 上,而且在干扰情况下 non-Ctrl CAH 协议的功耗仅为控制信道自适应信道切换（Ctrl CAH）协议和固定信道协议的 1/2。non-Ctrl CAH 协议能以最低功耗获得较高的包接收率,并且能够有效缓解家庭环境中的 WiFi 干扰。     

实时互斥协议的形式化建模与自动验证

实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。     

无线传感器网络路由协议的仿真研究

无线传感器网络是一种无线自组织网络,路由协议是保证它能正常运作、高效传输信息的不可或缺的部分．本文采用仿真软件NS-2对洪泛式路由协议及定向扩散协议进行了仿真研究．与洪泛式路由协议相比较,定向扩散协议在能量消耗与延时性这两方面性能较好,更适合于无线传感器网络的应用环境．