对SET协议安全机制的研究与策略

SET协议是由MasterCard和VISA制定的安全电子交易协议。文章介绍了SET协议安全机制的基本构成和工作流程，分析了该机制的几个关键技术和优点，指出了SET协议安全的不足，并提出了相应的改进策略。     

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

无线传感器网络能够实时的监测、感知和采集各种环境或监测对象的信息,其关键技术之一就是路由算法及实现。本研究提出一种改进的定向扩散路由算法,通过分析兴趣扩散的深度、邻居节点的梯度及接收信息的效率,选取最优的节点用以建立数据传输路径。并在网络仿真工具OMNET++环境下实现了对该协议的仿真,仿真表明该协议具有很好的性能,能大大缩短路由建立的时间,提高数据传输的速度。     

安全电子支付系统的设计

电子支付是指从事电子商务交易的当事人，包括消费者、厂商和金融机构，使用安全电子支付手段通过网络进行的货币支付或资金流转。本文从电子支付的安全需求及安全攻击入手，结合多种网络安全技术，针对电子信用卡提出了基于SET协议的安全电子支付系统，通过该系统可以保证交易的安全性，是一种很好的电子商务模式的解决方案。     

Casper/FDR和串空间在物联网通信协议中的形式化分析

通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。     

分布式个人文件系统的设计与实现

提出了一种基于E-mail系统的分布式文件系统——EMDFS,给出了扩展的STMP协议(ESTMP)的状态转换方式和定义,在此基础上研究了利用ESMTP来构建分布式个人文件系统的方法和模型,设计了EMDFS的模型、内外存的结构、I/O操作、用户接口以及EMDFS的各种功能。     

一个改进的无证书跨域认证密钥协商协议

针对文献[11]中提出的CAKA协议存在的无法认证对方身份和容易受到替换公钥攻击威胁的安全问题,给出了一种改进协议.该协议改进了原协议中的3个步骤,使得参与协议的双方用户在执行协议过程中必须用到各自的全部私钥,并在协议双方发送的消息中加入各自的身份信息.实验表明,该改进协议不仅能够克服原协议中的安全性问题,而且提高了计算效率.因此该改进协议对基于无证书公钥系统构造的密钥协商协议具有良好的参考价值,同时也可为同类跨域密钥协商协议的分析与设计提供参考.     

一种高速1553B总线控制器自动测试平台的开发

高速1553B总线控制器自动测试系统的开发是基于通用测量仪器搭建的测试平台,应用高速1553B总线协议分析软件实现总线信号电气特性参数的自动测试和协议功能的检查。自动测试平台中数字存储示波器对总线信号进行采集、处理和测量,任意波形发生器模拟仿真高速1553B总线编码信号和总线错误注入信号,基于Matlab开发自动测试程序,完成对高速1553B总线协议的解码分析。使用国产4Mbps1553B总线控制器芯片对自动测试系统进行验证,对总线信号的幅值和畸变电压等参数进行测试,并对总线协议的正确性进行检查。验证结果表明,测试平台能够实现4M1553B总线控制器电气参数和协议正确性的可靠测试。该测试系统开发难度低,可以满足高速1553B总线控制器在设计和调试阶段的自动测试需求。     

RFID系统中基于公钥加密的相互认证协议

随着RFID系统能力的提高和标签应用的日益普及,安全问题,特别是用户隐私问题变得日益严重。提出了一种新的RFID认证协议。认为基于公钥加密的RFID认证协议相对基于哈希函数和基于对称密钥加密的RFID认证协议,有较好的安全性。公钥加密算法NTRU被认为是一种效率较高的加密算法,且更适合于RFID系统,因此提出的协议采用了NTRU公钥加密算法。对该协议的安全性和性能进行了比较分析,结果表明该协议可以为RFID系统提供更好的安全性,能为用户提供更好的隐私保护,且性能较佳。     

基于身份的认证群密钥协商协议

认证群密钥协商(AGKA)协议能为一群用户产生一个共享的会话密钥,使得群用户间能在公共数据网络进行安全通信.现有的大部分基于公钥技术的AGKAY协议分两类:第一类,认证部分是基于PKI/CA,会话密钥协商部分主要用模指数(或点乘)实现;第二类,认证部分是基于身份(ID)的公钥体制,会话密钥协商部分主要是用Weil对或Tate对实现.第一类AGKA协议存在一个较显著问题:公钥管理问题;第二类AGKA协议虽然有效地解决了公钥管理问题,但由于其会话密钥协商部分主要是用双线性对(即Weil对或Tate对)实现,与前者相比,计算量较大.针对这些不足,提出了一个新的AGKA协议,其认证部分是基于身份(ID)的公钥体制,会话密钥协商部分的运算主要用模指数实现;并在ROM,ECDH和BDH假设下证明了该AGKA协议的安全性.该协议与基于PKI/CA的相关AGKA协议相比,克服了后者在密钥管理上的困难;与其它基于身份的AGKA协议相比,在效率上具有一定的优势.     

Needham-Schroeder公钥协议的模型检测分析

密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工 具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Schroeder(NS )公钥协议进行了分析.分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击,而这个 攻击是BAN逻辑分析所没有发现过的.同时,给出了经SMV分析过的一个安全的NS公钥协议 的改进版本.