移动分布式实时数据库系统的事务处理

提出DMVOCC-MDA协议处理移动分布式实时事务。协议采用多版本乐观方法,使用多版本动态调整串行次序技术。移动分布式事务局部有效性确认分为2个阶段:第1阶段在移动主机上进行,使用向后有效性确认机制,对服务器上个广播周期提交事务进行有效性确认;第2阶段在服务器上进行,通过局部有效性确认的移动事务,提交到服务器进行局部最终有效性确认。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。移动只读事务能无阻塞提交,降低移动只读事务的响应时间,消除移动只读事务和移动更新事务的冲突,避免不必要的移动事务重启动。在移动主机上及早地检测数据冲突,节省处理和通信资源。实验结果表明,DMVOCC-MDA协议与其他协议相比,错过率和重启动率低,提交率和吞吐量高。     

Nested Transaction Concurrency Control in Parallel Real-Time Databases

An integrated method for concurrency control in parallel real-time databases has been proposed in this paper. The nested transaction model has been investigated to offer more atomic execution units and finer grained control within in a transaction. Based on the classical nested locking protocol and the speculative concurrency control approach, a twoshadow adaptive concurrency control protocol, which combines the Sacrifice based Optimistic Concurrency Control （OPT-Sacrifice） and High Priority two-phase locking （HP- 2PL） algorithms together to support both optimistic and pessimistic shadow of each sub-transaction, has been proposed to increase the likelihood of successful timely commitment and to avoid unnecessary replication overload.     

分布式工程数据库系统中事务管理机制相关技术的研究

从分布式工程设计事务环境和事务管理特点出发,给出一种分布式工程数据库系统（DEDBS）事务管理子系统的体系结构,提出一种适用于DEDBS中的事务两阶段提交协议,介绍两种支持工程设计事务的并发控制方法;基于20L的扩充分层封锁模型的并发控制方法和改进的乐观并行控制方法。     

用相关元素定序法实现乐观并发控制

针对两段锁2PL(Tow-Phase Locking)并发控制方法的死锁率高,使Internet系统的性能大幅度降低的问题,提出了一种基于乐观机制的新的并发控制方法--相关元素定序法,并给出了一种新的冲突验证算法 --相关元素验证算法.该方法不存在死锁问题,较以往的乐观并发控制法验证方法简单, 事务重启动的次数减少5%,系统的吞吐能力比2PL提高160%,而且能保证重启动事务执行成功 ,因而能够缩短事务的响应时间,提高系统的吞吐能力.是一种实用的并发控制方法.     

实时主动数据库并发控制协议

提出了实时主动数据库系统实时多版本两阶段封锁并发控制协议(RTMV2PL). 该协议将多版本并发控制的优点和两阶段封锁并发控制机制优点结合起来. 多版本两阶段封锁机制消除了只读事务和更新事务的冲突, 只读事物从不重启动. 对实时主动数据库系统的事务优先级重新定义. 通过模拟仿真与传统的HP2PL和OCC-TI-WAIT-50协议进行比较. 研究结果表明, 并发控制协议不但能有效地降低事务的重启动率和延误截止时间率, 而且提高只读事物的响应时间. 当事务触发率高, 导致系统负载高时, 它的性能仍比其他协议的性能好.     

一种实时数据库系统的多版本两段锁的并发控制协议

详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类,主要包括：实时数据对象可分为映像对象、导出对象和不变对象;实时事务按功能分类可分为数据接收事务、数据处理事务和控制事务;数据接收事务和控制事务是硬实时事务,是不能等待和阻塞的．然后,根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了实时数据库系统的多版本两段锁及多版本带夭折两段锁协议,且证明了两者都是冲突可串行化的．前者对于只读事务是没有延迟的,对于硬实时事务的延迟也很小;后者对硬实时事务不产生任何延迟,这两个协议都能较好地保证实时事务和实时数据的定时限制．     

基于优先级的多版本两阶段锁并发控制协议

提出了适用于移动实时数据库环境下基于优先级的多版本两阶段锁并发控制协议,它结合多版本并发控制机制和两阶段锁机制的优点,引入优先级概念对事务进行优先级别的划分,分情况进行考虑.通过仿真实验模拟,对该协议进行了性能测试,并与其他协议进行了比较,实验结果表明:该协议的性能表现良好.     

一种分布式实时事务调度新策略研究

针对目前分布式系统中存在的问题,详细分析了分布式系统和并发控制协议对实时事务调度策略的影响,鉴于目前真正的分布式实时事务调度策略尚处于探索发展阶段,现提出一种分布式最少剩余时间优先的调度策略,通过实践结果证明,该调度策略比传统调度策略更适用于分布式实时数据库环境中。     

可公开验证的UC安全签密协议

在UC框架下,基于KR模型,对签密协议进行研究.根据签密协议的安全性要求,提出签密的理想功能函数,并依此设计协议的一般化形式;随后基于UC安全的定义,通过模拟技术,证明所设计的一般化协议安全实现了理想的功能函数,即此一般化协议是UC安全的;同时,在UC框架下对所设计协议的存在性不可伪造进行讨论,利用反证法证明其安全性;最后,从一般到具体,设计了一个具体的签密协议,同样满足UC安全性.在复杂的网络环境中,UC安全的协议作为一个模块,能与其他协议组合使用,不破坏组合协议的安全性.     

Dynamic Measurement Protocol in Infrastructure as a Service

Infrastructure as a Service （laaS） has brought advantages to users because virtualization technology hides the details of the physical resources, but this leads to the problem of users being unable to perceive their security. This defect has obstructed cloud computing from wide-spread popularity and development. To solve this problem, a dynamic measurement protocol in laaS is presented in this paper. The protocol makes it possible for the user to get the real-time security status of the resources, thereby solving the problem of guaranteeing dynamic credibility. This changes the cloud service security provider from the operator to the users themselves. This study has verified the security of the protocol by means of Burrow-Abadi-Needham （BAN） logic, and the result shows that it can satisfy requirements for innovation, privacy, and integrity. Finally, based on different laaS platforms, this study has conducted a performance analysis to demonstrate that this protocol is reliable, secure, and efficient.     

基于移动节点的改进扩充口令协议

为了能在有限资源的无线传感器网络上进行安全的通信,本文提出了一种基于移动节点的改进扩充口令协议。     

基于无线传感器网络的一种安全路由协议

针对无线传感器网络（WSN）中路由协议的安全隐患,提出了一种安全的路由协议．该路由协议在传统的定向扩散协议基础上增加安全机制,把整个路由过程分为路由建立和路由更新2个阶段,并对其安全性进行分析．通过在路由建立阶段使用小区密钥和通信密钥,能为网络选择安全的路由;路由更新能在出现路由故障时重新建立路由,进一步提高了无线传感器网络的路由安全性能．     

网格实时事务并发控制协议及其PETRI网分析

将网格服务动态性与实时事务替代性相结合, 定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.     

Quasi Serializable Concurrency Control in Distributed Real—Time Database Systems

This paper formally defines and analyses the new notion of correctness called quasi serializ-ability,and then outlines corresponding concurrency control protocol QDHP for distributed realtime databases.Finally,through a series of simulation studies,it shows that using the new concurrency control protocol the performance of distributed real-time databases can be much improved.     

一种自适应多版本实时事务并发控制

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求.结合锁、多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC.该法可根据具体情况自适应地采用不同的并发控制机制,有效提高了事务的并发度和截止时间内完成事务的数量.通过可行性分析性能优于传统并发控制方法.     

基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

RFID认证协议的安全性分析

针对RFID认证协议本身的安全性问题,分析了最近提出的几个协议的优缺点,给出了它们在一些安全特性上的比较,结果表明它们在某些方面都存在一些安全漏洞。通过对协议研究和分析,表明目前提出某些认证协议没有达到RFID系统的安全需求。只有通过更加有效的方法,才能设计出完全可靠、安全和高效的安全协议。     

基于随机密钥预分布模型的安全定向扩散协议

为了解决无线传感器网络中定向扩散协议的安全问题,提出一种基于随机密钥预分布模型的安全定向扩散协议.通过建立安全梯度及应用累积报文鉴别码和多层加密,扩展了定向扩散协议的安全机制,使其能够提供点到点的安全数据通信.安全分析表明,基于随机密钥预分布模型的安全定向扩散协议能够保证定向扩散协议在兴趣扩散、数据传输、路由建立和路径加强阶段的安全性,有效抵御多种由泄密节点发起的攻击.     

基于GHZ态的三方量子安全直接通信

利用Greenberger-Home—Zeilinger态的纠缠特性,提出一个三方量子安全直接通信方案,参与者通过对Greenberger—Home—Zeilinger态进行单粒子幺正操作,编码其一比特经典消息,最后每个参与者都可根据自身的秘密消息获得另外两个参与者发送的秘密消息。此外,对协议在理想情况下的安全性进行简要的分析,表明该协议是安全的。     

Sniffing Threat and Practices in IPv6 Networks

0 IntroductionThe IPv4 protocol suite is vulnerable to a variety of at-tacks ranging frompassword sniffing to denial of serv-ice.Software to carry out most of these attacksis freely avail-able onthe Internet .These vulnerabilities can place the use ofthe Internet or intranet at considerable risk[1 ,2].IPv6 securityisin many ways the same as IPv4 security. The basic mecha-nisms for transporting packets across the network stay mostlyunchanged,and the upper-layer protocols that transport thea…