基于着色Petri网的GEO-RBAC策略验证

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。     

基于信道时间分类的接纳控制方案

为了解决现有接纳控制方案存在的对新数据流进入网络后的信道使用情况预测不够准确的问题,对IEEE 802.11e无线局域网的增强分布式信道访问(EDCA)模式下无线信道的各种状态进行分类,确定真正可利用的信道空闲时间,将新数据流带来的额外信道开销细分为退避时间、传输时间和碰撞时间,并给出每类时间开销的预测方法,从而为接纳控制方案提供更准确的判断依据。仿真试验证明,所提出的方案能做出更合理的接纳控制决策,并且具有更好的适应性。     

广域Web集群的随机高级Petri网模型及性能分析

广域Web服务器集群是由多个局域Web服务器集群在Intemet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段.基于随机高级Petri网的性能建模与分析技术,提出了一种广域Web服务器集群的随机高级Petri网模型;对模型进行了精化设计以简化模型求解的复杂性;研究了广域Web服务器集群的多级负载均衡综合方案,包括广域集群级的集群站点选择算法、局域集群级的请求分配算法和服务器级的请求调度算法,这些算法可以一致地综合在随机高级Petri网模型中;并且利用随机高级Petri网的性能分析技术对负载均衡综合策略进行了性能分析与评价.     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

基于单向函数树的高效分布式组密钥管理方案

针对集中式组密钥管理方案具有单失效点和密钥非公平产生等问题提出了一种基于单向函数树的高效分布式组密钥管理方案(D-OFT)。在该方案中,组密钥由所有合法用户共同协商产生,避免了不公平性;同时,该方案中采用分布式管理,不会形成单失效点;密钥更新消息长度保持在O(log n),具有良好的密钥更新效率;此外,方案中提供的用户加入组、离开组、组合并、组分裂等密钥更新算法均满足前向、后向安全性要求。结果表明:D-OFT方案非常适用于无中央控制节点且组成员关系动态变化的中小规模分布式安全组通信系统。     

基于Petri网和抽象方法的工作流模型分解

Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法.     

综采工作面调斜与防滑

综采工作面由于受地质构造及倾角大等因素影响,为保证安全生产需要调伪斜角为防链板机下滑。伪斜角一般设计为工作面倾角(真倾角)的1/3～1/5之间。实践证明:工作面坡度角小于10°的综采工作面伪斜较易调整与掌握,但工作面坡度角大于10°时,工作面的实际伪斜及防滑工作较难控制;生产中实际伪斜还受所用设备及其连接方式的影响,因而伪斜是一个较复杂、技术性较强的数值。     

IPTV数字内容版权保护安全协议的设计

针对IPTV流媒体应用的特点,提出适应IPTV流媒体应用特点的适用于动态的、分布的、异构的、开放的网络环境下的数字版权保护协议,对网络中动态出现的内容服务提供了完善的数字版权保护功能,并具有跨网络安全域的特点。该协议在满足数字版权保护协议基本要求的同时,引入了版权中心和服务网关,以便更好地保证协议抗攻击的能力和内容提供者和消费者在版权方面的公平性。利用PETRI网的分析方法,对协议中各种变迁及状态变迁进行了分析。分析结果表明协议结果具有教强的安全性。     

Efficient User Authentication and Key Management for Peer-to-Peer Live Streaming Systems

Recent development of the peer-to-peer(P2P)live streaming technique has brought unprecedented new momentum to the Internet with the characters of effective,scalable,and low cost.However,before these applications can be successfully deployed as commercial applications,efficient access control mechanisms are needed.This work based on earlier research of the secure streaming architecture in Trust-Stream, analyzes how to ensure that only authorized users can access the original media in the P2P live streamin...     

基于ED-Chord的数据网格副本定位机制

为了提高数据网格副本定位机制的负载平衡性和可扩展性,提出一种均匀分配节点标识的分布式hash表结构(ED-Chord),设计了基于对等网模式的层次结构副本定位机制(PRLM)。ED-Chord采用分布式方式获取节点位置分布信息,据此进行优化选择新节点的加入位置,使节点分布更加均匀,PRLM全局副本目录采用ED-Chord结构进行设计,本地副本目录利用虚拟组织的局部性进行查询。分析和实验结果表明:ED-Chord节点标识分布均匀,PRLM具有良好的副本定位时间性能,节点的负载平衡性与可扩展性较好。