RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

电力企业移动安全接入平台

电力企业承担着为社会经济发展提供安全、可持续电力供应的重要使命,因此,电力企业信息系统的安全要求比普通企业要高。随着电力企业信息化的快速推进,各种远程移动终端与信息内网的数据交换需求日益增长。如何保证移动终端远程接入的安全已成为电力企业信息化建设中的关键问题。在分析传统 SSL VPN 技术的基础上,针对电力企业信息安全建设的特点和特殊需求,设计了一种适用于电力企业的新型移动安全接入平台。该平台能够支持多种移动终端的多因素认证和访问控制,同时实现了SSL高速协议栈、数据隔离等功能,有效地解决了上面所提到的问题。     

基于椭圆曲线的RFID协议的安全分析

Matinez等人已经提出了一种只依赖于椭圆曲线密码和零知识认证模式的无线射频认证协议. 本文中,我们指出该协议不能抵抗去同步化攻击. 攻击者只需拦截最后服务器发给标签的确认消息,就会导致后台服务器和标签存储的共享秘钥不一致. 对此,我们提出了修正方案,并证明了修订后的协议可以抵抗去同步化攻击.     

认知无线网络动态频谱感知决策安全协议框架研究

对认知网络频谱感知安全研究现状进行了分析, 提出了一个频谱感知决策安全协议框架。对认知无线网络模型中相关组件、符号进行了定义, 并对其结构和安全性进行了详细描述。通过与相关方案比较, 结果表明该协议框架能够用来抵御频谱感知所面临的潜在威胁, 使之进行正确的频谱决策。     

基于中国电信CEP协议的组件服务应用

面对复杂多变的需求,需要我们梳理出业务的本质,并设计一套与之相适应、易扩展的框架结构,让业务组件化,组件服务化,通过灵活的服务组装,来满足灵活多样的业务需求。本文旨在通过对中国电信CEP协议的剖析,指引如何通过对整个CEP层次结构进行归纳总结,体系化实现服务能力的封装与开放。     

分布式失效检测算法的研究与分析

在受限异步假设的前提下,本文提出了基于“存活授权／自杀失效”方法的分布式失效检测算法,并从用户进程角度给出了完整性和精确性的定义。     

UPnP基本原理以及在NAT中的应用

在互联网应用越来越丰富的情况下,设备之间如何通过UPn P方案实现互联互通显得日益重要,本文介绍了UPn P所定义的基本协议（如SSDP、GENA、SOAP等）,重点分析了UPn P实现的基本工作流程,并通过抓包工具捕获数据包,对各种流程传递的协议报文进行详尽分析,最后结合NAT技术,重点叙述UPn P在NAT技术中的应用。通过本文能够加深认识设备之间互联互通的一种方案。     

网络冗余技术在公司局域网的应用分析

随着SG186系统建设不断向企业的覆盖与延伸,信息网络的强健与否成为制约信息化系统应用的重要因素。本文通过对网络冗余技术的介绍,结合公司信息网络结构实际情况,通过应用实例分析,阐述如何合理使用网络冗余技术,确保信息网络的高可靠性。     

交换网络中广播风暴的产生和生成树协议（STP）对其有效阻止

在交换网络环境中,物理环路可以提高网络的冗余,但容易产生双向的广播环,甚至形成广播风暴,使交换机瘫痪;通过生成树协议生成根网桥,根端口,指定端口和阻塞端口,在逻辑上断开该网段,形成一个无环网络,使网络中无法产生广播环和广播风暴;当其它链路出现故障时,阻塞的端口自动恢复,逻辑断开的线路又被连通,继续传输数据。     

基因扩增仪与PC机串口通信的设计与实现

主要利用OK6410开发板串口通信模块和Qtcreator环境下使用的第三方串行通信控件qextserialport,在基因扩增仪下的LINUX操作系统基础上,对串口应用程序进行了开发和设计。完成对基因扩增仪进行外部控制命令的操作,使得基因扩增仪可根据PC机不同的请求执行相应的程序,并通过PC机进行数据反馈。