分布式混合实时事务处理

为了提高分布式实时数据库系统事务处理的成功率和可靠性,将分布式实时事务进一步细化,对传统的事务接纳控制协议进一步改进,从而提出了一种含有真实时和非实时两部分的分布式混合实时事务接纳控制机制。定义了分布式混合实时事务模型及系统设计方案。分布式混合实时事务的接纳控制综合考虑分布混合事务的执行需求和价值,有效控制负载,减少被系统接纳执行后而又不能满足截止期的事务,提高分布式实时数据库系统事务处理的成功率和可靠性。通过重点分析混合实时事务的接纳控制模型,对混合实时事务的接纳控制与传统的接纳控制作了分析比较,说明了比传统的接纳控制协议更优。     

面向物联网的基于上下文和权能的访问控制架构

针对物联网(Internet of Things,IoT)的安全和隐私问题,以及传统的访问控制方法不适应于IoT环境的现状,提出了一种分布式的基于上下文和权能的访问控制架构.该架构的授权决策过程由嵌入到设备中的授权决策模块PDP来实现,以达到分布式的授权目标;特别是权能令牌的特殊构造,不仅可方便实现基于设备上下文的访问控制,而且利用椭圆曲线密码体制来实现端到端的认证、完整性和不可抵赖性;消息传输机制采用更适合于物联网的受限应用协议CoAP(Constrained Application Protocol).实验结果表明,该架构是可行的.     

对ARAP认证协议的攻击及其改进

分析了射频识别（RFID）系统中匿名RFID认证协议（ARAP）存在的安全缺陷,指出攻击者可利用该协议存在的异或运算使用不当的安全缺陷发起身份假冒攻击.为此,提出了一种改进的RFID双向认证协议,该协议修改了ARAP认证协议中部分异或运算和验证操作,仍采用假名机制提供隐私性保护,防止攻击者对标签进行跟踪.结果分析表明,改进后的协议具有双向认证、前向安全性和匿名性等安全属性,并能够抵抗冒充、跟踪和重放等攻击.同时,性能对比分析表明改进后的协议具有比较好的效率,实用性较强.     

一种新的公平可追究协议

在研究借鉴一种可追究协议NCP的基础上，提出一种新的公平可追究协议．经过使用改进的Kailor逻辑分析验证，新的协议满足可追究和公平性原则，且可以工作在不安全和不可靠的信道上．     

一种密钥协商协议的自动化设计方法

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.     

一种基于新的选举策略的分布式共识协议

针对在网络和节点故障率较高环境下的副本状态机一致性问题,提出一种改进的分布式共识协议xm-Paxos.通过选举确定性较高的副本节点作为集群的领导者,加快集群节点对决议结果的确认;同时简化共识协议的重确认过程,减少重确认的消息传递.实验结果表明,在节点故障率较高、网络状况复杂的运行环境下,与使用Paxos算法进行选举的Multi-Paxos协议相比,xm-Paxos协议提高了集群节点的可用性和容错性,并降低了通信负载.     

一种新型的分布式防火墙系统

随着现代企业网络的发展，其安全的重要性日益引起人们的重视，传统防火墙已难以满足要求。提出了在企业网络中应用基于VPN并融合IPSec协议的新型分布式防火墙系统，以克服传统防火墙的缺陷。     

SET电子商务中更安全的密钥和证书保护方案

在Internet开放式环境中的身份认证是电子商务安全进行的前提和基础,文章对Set安全电子交易协议中身份认证进行了分析,提出了一种更为安全的密钥和证书保护机制——智能卡系统认证模型,该模型充分利用了智能卡的数据处理能力．     

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法．这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿．形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义．     

Windows下基于TCP/IP协议的多媒体数据通信

在讨论ＴＣＰ／ＩＰ协议模型、编址方式、ｓｏｃｋｅｔ编程界面的基础上，研究了Ｗｉｎｄｏｗｓ环境下异步接收／发送数据的方法，针对ＡＶＩ多媒体文件格式讨论了音频和视频数据的获取方法和媒体间的同步技术，在Ｎｏｖｅｌｌ网上实现了Ｗｉｎｄｏｗｓ９５环境下基于ＴＣＰ／ＩＰ对等站点之间的实时视频音频通信