有效的多协议攻击自动化检测系统

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件,自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法,自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明,ADMA系统能够实现多协议攻击自动化检测,并且检测中发现了新的多协议攻击。     

Web浏览器跨协议通信安全性研究

阐述了浏览器跨协议通信的安全性问题,这类通信是通过将一个目标协议封装进一个载体协议中来完成的.研究表明,在满足协议有足够的容错度和有方法将目标协议封装进载体协议两个前提下,完全独立的两个协议是可以互操作的,潜在的两个不同的协议能够进行命令和数据的通信.因此跨协议通信为攻击者利用载体协议实现对目标协议的攻击提供了新的可能性,主要安全问题诸如跨协议跨站脚本、跨协议特征探测、暴力攻击.     

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

对当前几种典型的无线传感器网络路由协议进行了研究,将它们分为传统路由协议、基于数据为中心的路由协议、基于地理位置的路由协议、基于服务质量的路由协议、单层路由协议和多层路由协议六类．阐述了这些协议的特点,对每种路由协议的优缺点进行了分析,对它们的性能进行了比较．     

一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.     

对Yahalom-Paulson协议的分析与改进

对原始Yahalom-Paulson协议和Backes与Pfitzmann的简化Yahalom-Paulson协议进行分析,指出各自协议中存在的漏洞.原始协议中存在类型缺陷攻击,简化协议中存在重放攻击导致协议参与实体间会话密钥不一致.对Yahalom-Paulson协议作出改进并使用串空间理论证明改进后协议的正确性.     

无线传感器网络簇类路由协议的分析

无线传感器网络是由大量低功耗的传感器组成.由于无线传感器的能量有限,所以如何延长传感器网络寿命成为设计路由协议的关键问题.为此,分析了无线传感器的簇类路由协议LEACH协议和LEACH-C协议,针对它们存在的缺陷,提出一种新的路由协议LEACH-NEW协议,该路由协议改变原协议的一跳路由为多跳路由,并用仿真软件NS2对3个协议进行仿真比较.由仿真结果可以看出,LEACH-NEW协议较其它2种协议显著地提高了网络寿命.     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

Ad hoc网络信道接入协议研究

信道接入协议是 Ad hoc网络的关键技术和研究重点 ,在协议研究的过程中发展为 3个研究方向 :竞争接入协议、信道分配协议和混合接入协议。分析了它们各自的优缺点 ,介绍了一些相应的典型协议 ,并在综合各种协议的基础上 ,提出了 1种可行的基于同步的双信道动态分配协议     

Diameter协议对RADIUS协议安全缺陷的改善

RADIUS协议是目前最流行的AAA(授权,认证,计费)协议,但协议本身存在明显的安全缺陷。Diameter协议是IETF的AAA工作组正在致力制定的基于RADIUS的新一代协议。文章分析了RADIUS协议内在的安全缺陷,并介绍了Diameter协议对RADIUS协议在安全方面的改善。     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

安全协议实施安全性分析综述

安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能获取安全协议客户端与安全协议服务器端实施,并依据安全协议实施安全性分析采用的主要分析方法——程序验证、模型抽取、网络轨迹、指令分析等,对相关研究成果进行归类、分析、比较、总结和讨论。对未来安全协议实施安全性分析的研究方向进行了展望。     

嵌入式TCP/IP协议栈在DSP上的实现

介绍了TMS320C5402芯片与RTL8019AS互联网控制器的硬件接口电路的设计,实现了一个运行在TMS320C5402上的小型嵌入式TCMP协议栈。对TCMP协议中的IP协议、ARP协议、UDP协议、ICMP协议进行分析,完成了基于TCP／IP协议的嵌入式网络系统。     

跨层的AODV局部连通性研究

为了提高AODV路由协议的性能,本文针对AODV协议中局部连通性机制,结合跨层设计和动态参数配置思想,提出了ACLAODV路由协议.仿真结果表明:与原协议相比,ACLAODV协议减少了协议开销,提高了协议效率,改善了平均时延和数据传递率等性能参数.     

基于Petri网的对等资源访问控制协议仿真

为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.     

不可否认协议形式化分析的SVO逻辑方法

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析．在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因．这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等．分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标．通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性．     

用路由软件组建BGP4+协议一致性测试平台

IPV 6协议是下一代互联网协议.BGP 4 协议是支持IPV 6的多协议扩展的外部网关路由选择协议.简要介绍了BGP 4 协议和路由软件Zebra.对BGP 4 协议一致性测试平台的结构进行讨论,给出了一个用路由软件Zebra组建支持IPV 6的BGP 4 协议一致性测试平台的例子.     

限制转售价格协议的违法性认定——合理原则与本身违法原则适用之争

限制转售价格协议是处于不同生产线的生产商与销售商订立的,主要分为固定价格协议、限制最低转售价格协议、限制最高转售价格协议、推荐价格协议。限制转售价格协议对竞争既有积极影响也有消极影响,因而在反垄断法上,限制转售价格协议并不一定被认定为垄断协议而被禁止。认定限制转售价格协议是否违反反垄断法,理论及各国实践中是运用本身违法原则和合理原则进行判断的。由于限制转售价格协议有利有弊,而合理原则相较于本身违法原则而言,其会运用经济分析综合考虑协议对竞争的影响,因此我国对限制转售协议的违法性认定时倾向于采用合理原则。     

一种可抵抗内部攻击的高效群组密钥协商协议编译器

目前设计可抵抗内部攻击的群组密钥协商协议需要调用2个不同的协议编译器,使得协议的执行效率较低而且协议设计的复杂度较高,为此,通过改进上述2个协议编译器,提出了一种新的编译器.该编译器只需对群组密钥协商协议进行一次编译,即可生成具有抵抗内部攻击能力的群组密钥协商协议.然后在随机预言机模型下,针对提出的编译器所生成的协议进行了安全性分析,并严格证明了生成的协议是具有抵抗内部攻击能力的群组密钥协商协议.最后对比分析表明,利用提出的编译器生成的协议与现有编译器生成的协议相比,具有较高的效率和较低的设计复杂度.     

WTO:受冲击的高新技术产

WTO协议中直接与高新技术产业发展相关的文件有《信息技术产品协议》、《与贸易有关的知识产权协议及投资协议》、《补贴与反补贴协议》等。加入WTO后,这些协议将直接影响我国高新技术产业的发展。     

一种基于零知识证明的远程桌面认证协议

目前桌面云环境下用户身份认证过程中用户属性可能存在泄漏。针对此种安全威胁,提出了一个远程桌面认证模型。在该模型的基础上,提出了一种基于零知识证明的远程桌面认证协议ZPBRDAP。该协议包括属性注册协议(AR协议)与身份认证协议(IA协议),在不暴露用户身份属性的同时完成用户身份认证。最后,分析了该协议的正确性、安全性以及协议效率,表明该协议具有良好的可用性。