基于KG逻辑的3GPP AKA协议形式化分析与改进

3GPP AKA协议的设计者使用BAN逻辑对协议进行形式化的分析，并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性，设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。本文给出基于信仰变化的KG逻辑方法，指出脆弱性所在，并对改进后的协议方案进行验证。     

FreeBSD+Qmail构建安全稳定的电子邮件系统

介绍了在FreeBSD操作系统上,利用该系统的优势,结合Qmail邮件系统的优点,通过实例来构建一个安全稳定的电子邮件系统,可适用于中小型高校使用。     

IPv6数据认证及认证算法的研究

下一代互联网的核心协议IPv6,其安全性有了很大的提高。该文从IPv6基本头标和认证头标的格式入手,对IPv6认证数据的计算、AH的处理过程以及认证算法进行了详细描述,并对两种常用的认证算法进行了分析比较,阐述了认证算法的限制以及可以采用哪些手段来降低这种负面影响,最后针对具体应用提出了建议。     

AgentX代理实现及其协议的一个改进

在网络管理系统的管理者／代理模型中,ＡｇｅｎｔＸ代理不仅是实现网络管理的一个关键,也是网络管理适应网络规模迅速扩展的一个有效途径·首先给出实现ＡｇｅｎｔＸ代理的总体框架,然后围绕ＡｇｅｎｔＸ代理的可扩展性特征,重点分析了ＡｇｅｎｔＸ主代理操作的内部机制,提出了主代理和副代理之间操作机制的一个改进,最后进行了讨论·     

基于PC机的V5协议测试方法

主要介绍了利用PC机进行V5协议测试的方法以及设计中使用的数据结构和各程序模块主要功能,结合测试实例和图型说明Win95下V5协议测试方法.     

一种具备原所有者无关性的无线射频识别标签所有权转换协议

针对标签所有权转换过程中的信息安全问题,提出了一种具备原所有者无关性的标签所有权转换协议。协议中主要包含原所有者、新所有者、标签和可信第三方四个通信实体。采用GNY逻辑对该协议的安全性进行了分析,结果表明该协议能够将原所有者对标签的所有权转交给新所有者;并能抵御跟踪攻击、重放攻击、中间人攻击和去同步化攻击,保护标签信息的前向安全和后向安全,提供原所有者无关性。对该协议进行了仿真实现,获取了标签计算耗时等数据。经过与其他协议的数据进行对比,该协议中标签的计算耗时较短,适用于低成本标签。     

校园网挖矿行为自动识别处置系统

针对清华大学校园网公网IP地址众多、挖矿行为处置周期长等困难,基于挖矿行为的共同特性,设计实现了一套校园网挖矿行为自动识别处置系统(ARDSM),实时阻断挖矿通信流,为校内IP的处置赢得宝贵时间。     

基于SRP-6协议的认证与密钥交换方案

针对Web服务中身份认证的问题,分析了SRP-6(Secure Remote Password-6)协议的密钥交换机制,提出了一种基于简单对象访问协议(SOAP)和SRP-6协议的认证与密钥交换方案(SRP-over-SOAP).该方案将SOAP消息进行扩展,通过在SOAP头中加入标记,实现了SOAP消息对SRP认证信息的传递.文中还将该方案用于Web服务,实现了服务器和客户机间的双向身份认证.     

MANET中编队网络的路由协议应用研究

移动自组织网络(mobile ad hoc network,MANET)中的编队网络是现实应用中的一个典型抽象。对编队网络进行分析,指出其网络拓扑变化具有全局性和阶段稳定性,其流量具有典型的不对称性;并对节点移动和网络流量进行建模。为编队网络设计混合式的路由协议——HSRP(hybrid source routing protocol),该协议采用基于拓扑变化感知的路由更新和类似多点中继的广播抑制;并融合了网络体系结构中的跨层设计思想。仿真结果表明,相比于DSR及ZRP协议,HSRP协议在丢包率及网络时延方面具有显著的优势,能更好地适应编队网络,满足应用的需要。     

DIS环境中的电子战发射协议标准及其应用

首先分析了分布交互仿真 (DistributedInterfaceSimulation ,DIS)环境中对电子战协议的要求 ,提出并比较了电子战发射协议的三种实现方案。重点介绍了DIS中的电磁幅射PDU ,并分析了在低逼真度和高逼真度情况下的辐射接收处理过程。最后简要介绍了辐射数据库