基于二维区间Hash链的RFID安全协议

作为未来物联网(IOT)的核心技术之一,无线射频识别(RFID)系统由于设备的局限性而存在许多安全问题.在分析几种典型安全协议核心思想的基础上,提出了基于二维区间(two-dimensional region,TDR)Hash链的安全协议.该协议以区间划分的方式标识各链,从而提高了数据库的检索效率;同时,由于在协议中引入了随机性,RFID系统的安全性得到了进一步增强.     

基于自由口协议的S7-200PLC与伺服电机的数据通讯

基于自由口通讯协议的S7-200PLC与伺服电机的数据通讯技术,采用SIEMENS S7-200 PLC,通过自由口通讯协议向伺服驱动器读写数据,达到高速控制伺服电机的启停、速度及控制模式.     

改进的UMTS的认证机制的研究

详细分析了UMTS认证和密钥分配协议的过程以及协议的安全性,找出协议中存在的弱点和可能的攻击,提出了公钥加密协议的改进方法。经过分析,这一改进协议不但能满足第三代移动通信的安全需求,而且改善了UMTS在认证过程中在安全上的不足。     

一种计算机并行数据通讯的解析与监听

讨论了对Siemens R30计算机间并行数据通讯的解析与监听系统设计实现问题.通过解析并行数据通讯协议及线序和对监听系统的硬件电路设计及软件设计,实现了对SiemensR30计算机间的并行通讯监听和由基于Windows系统下的PC机向Siemens R30计算机的报文发送.系统的硬件电路由接收接口电路、光电隔离电路、CPLD控制电路和单片机控制电路四个主要部分组成;软件部分由CPLD程序、单片机程序和微机程序三个主要部分组成,微机程序采用了报文信息接口AMI(Alarm Message Interface)消息机制进行数据分发.该监听系统在某冷轧厂在线投入,运行稳定可靠,满足了研发需要.     

理想在猜测攻击分析中的扩展应用

对串空间模型中的攻击串轨迹增加了计算和猜测能力,重新定义了理想概念并对衍生出的相关定理进行了证明,扩展的诚实理想分析模型不仅继承了原理论的性质,而且适应猜测攻击的分析.     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

无可信中心的(t,k)门限RSA数字签名体制

提出了一种新的不需要可信中心的门限数字签名方案.在k个成员组成的群组中,只有t个或t个以上成员才能够代表群组签名,而少于t个成员则不能代表群组签名.方案基于Boneh等学者的分布式RSA密钥产生协议和Shamir秘密共享方案而构建.签名过程分为四个阶段:系统初始化、生成个体签名、生成群签名以及签名验证.在系统的初始化阶段不需要可信中心的参与,并且个体签名的生成、群签名的生成和验证都可以方便地实现.通过对方案的安全性分析显示,个体签名和群签名都是不可伪造的,并且在整个签名过程中都没有系统秘密信息的泄漏.     

基于集群的轻量可扩展TCP容错方法

针对现有TCP容错方案在高可用性方面的不足,提出了一个新的容错方案——轻量拷贝的传输控制协议ER-TCP.该方案采用日志管理配合主动复制的方法,可降低通信转发结点的负载;采用高效的同步算法可以减轻多个备份服务器的同步对通信造成的性能损失．与其他TCP容错方案进行性能测试的结果比较表明,ER-TCP对通信造成的性能损失小,在多个备份服务器的情况下ER-TCP仍可保持较高的通信效率．     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

基于PHP的流媒体视频点播网站的设计与实现

在阐述流媒体技术、流式传输协议以及PHP技术的基础上,以甘肃科技电视网为例,详细介绍了三层结构下基于PHP技术的视频点播网站实现的软硬件环境、关键技术和具体步骤,为实现大规模多媒体实时点播系统的设计提供参考.