基于角色的访问控制Petri网及协商树模型

针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

基于FHPN的道路交叉口交通流信号实时控制优化研究

为了合理控制道路交叉口的交通流,结合模糊时延Petri网、连续Petri网和模糊推理Petri网这3种Petri网的优势构造了模糊混合Petri网,以此来建立一个FHPN模型并把它用于道路交叉口交通流信号实时控制.通过实例仿真分析了FHPN模型的有效性,能够实时控制交叉口的运行情况,最大程度地利用道路资源且大幅度地降低了交叉口的停车次数.     

设备维修流程的petri网模型研究

从简单Petri网开始,用子网代替初始简单网的库所或变迁。系统的设备、资源及其动态协作关系用Petri资源、库所、变迁描述。在论述了petri网技术优点的基础上,提出采用层次化的Petri网技术来建立设备系统维修流程仿真模型,并举例详述了该模型的建立。     

SIP的分析与性能优化

为了减小会话初始化协议的呼叫建立延时,获得性能和缓冲数量上的平衡点,深入分析SIP复杂的协议行为,并建立协议的广义随机Petri网模型.构造与广义随机Petri网模型同构的马尔可夫链,根据马尔可夫链求解稳定状态概率,对协议模型进行计算和分析,评价协议性能.针对协议运行时状态转换中的耗时过程,通过软件SPNP仿真计算分析得到模型中位置P2缓冲大小的优化结果,得出呼叫建立平均延时随位置P2缓冲大小变化的规律,同时对系统吞吐量进行评价.仿真结果表明,位置P2缓冲大小取优化值时能优于其他取值,缩短协议的呼叫建立延时,改善系统吞吐量,提高系统的性能.     

利用P2P技术实现移动终端在WLAN内的漫游认证

针对IEEE 802.11i协议中身份认证和主密钥协商造成认证时延过大的问题,提出了一种利用P2P Chord技术管理无线局域网(WLAN)内认证信息的认证优化机制.站点在首次接入WLAN时将协商生成的认证信息发布至P2P Chord环中.当站点在接入点(AP)间发生切换时,可从P2P Chord环中查找出相应的认证信息以完成后续的协议交互,无需通过认证服务器重新认证,从而显著降低复杂认证引起的时延.理论推导及实验结果表明:该认证信息管理方案能够降低站点在AP间的切换时延,满足实时应用通信质量的需求;同时还可以减轻认证服务器的负担,在一定程度上防止单一故障点的存在.     

一个基于RTBAC的Petri网工作流模型

以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.     

基于P2P网络架构的SIP视频会议系统设计

会议初始化协议(SIP)凭借其简单,易于扩展等优点,已成为未来网络发展的重要应用协议.它采用Client/Server(C/S)的结构体系,当系统业务量增大时,系统容易达到性能瓶颈,成为其技术发展的障碍.基于分布式点对点(P2P)网络的去中心化特征,正好弥补了SIP的这一缺陷.因此,首先提出了一种基于P2P网络架构的SIP视频会议系统模型,将现有SIP视频会议系统的C/S架构改进成为P2P的混合网络体系结构.这既发挥了P2P无中心的优越性,又体现了SIP的C/S模式的优点.其次,阐述了该系统主要功能模块以及相关程序设计.最后介绍了该系统的主要信令工作流程.     

一种P2P层叠网维护协议的稳定性分析

对一种P2P层叠网维护协议“基本叶集协议”进行稳定性分析,通过对基本叶集协议行为的细致分析,证明了该协议运行有限时间后,P2P层叠网拓扑总能到达稳定状态,并且层叠网最终的拓扑只有3种类型：环态、多圈态和分离态。验证了基本叶集协议的实验结果。     

基于P2P网络的信息检索系统设计与实现

设计了一种基于P2P网络的信息检索系统,其主要功能包括:显示网络中所有对等点,对本地资源进行上传共享,搜索共享的文件并进行下载。系统设计中使用了JAVA语言和JXTA技术,调用PeerGroupFactory类和Discovery协议、ContentManger的Share方法、DownloadFile类等来实现对等点之间的发现以及资源共享和资源管理。在局域网环境下测试,系统功能运行良好。     

基于大数据量实时流媒体P2P树算法研究

为了解决大数据实时流媒体传输(LRST)的QoS可控机制问题,根据现有的P2P模型,提出了一种新的基于RTCP的P2P树算法模型LrstP2P.该模型依托于RTCP XR协议和最小树深算法,通过三层模型的动态算法,增强了新用户加入网络时对父节点选择的有效性,优化了用户通信过程中由于节点的随机性和网络拓扑的易变性的应对策略,改进了数据传输的稳定性和实时性.通过实验,证实了该算法的优越性.     

轻型接入点协议（LWAPP）在AP BOOTROM中的实现

伴随更多WLAN厂商迁移到层次化设计并使用轻型接入点构建更大型的网络,利用手工方式实现AP应用软件加载对于网络资源管理来说将是极大的额外负担,因此市场上需要一种能够对轻型接入点应用软件实现动态加载的标准化方式．针对以上问题,通过对集中式网络结构下使用的LWAPP协议及其运行框架的介绍,考虑到能够使用现有LWAPP协议完成空配置AP的软件动态下载过程;随后,为了真正实现AP软件下载,研究了LWAPP协议的运行模型,给出了其在AP BOOTROM（U-BOOT环境）中的实现方案;最后,通过系统测试验证了该解决方案的正确性与可靠性．     

一种新的P2P流媒体直播方案研究

对Chord协议应用进行扩展,提出了一个基于改进的Chord协议的P2P流媒体直播网络模型,并对该模型的系统原理和数据扩散过程进行详细阐述.方案克服了目前广泛应用的基于应用层组播树的P2P流媒体直播网络的缺点,对如何更充分利用F2P资源以提高流媒体直播性能做了有益的尝试.     

P2P网络资源共享中基于信誉的访问控制

在分析了传统的访问控制的基础上,针对P2P网络的特点,提出了基于信誉-角色的访问控制模型在P2P网络资源共享中的应用,研究了信誉的量化机制和信誉度的计算方法,最后给出了该访问控制模型的体系结构,并分析了该模型的优点.     

大规模并行分布式P2P算法模拟器设计与实现

为精确地分析和评估对等（P2P）算法的性能,在并行分布式网络模拟器的基础上,设计并实现数据包级的通用可扩展P2P算法模拟器．该模拟器可实现达万级节点的大规模P2P算法仿真．模拟器采用分层框架结构,包括P2P用户模拟层、P2P算法模拟层、P2P传输模拟层和并行分布式连接层,并完成对传输层UDP和TCP套接字扩展、改进,将P2P应用层算法控制消息解析与网络层数据分片传输相结合,支持大规模P2P实时和非实时算法．结合BitTorrent阐明本模拟器的设计与实现,达到万级节点的模拟实验结果验证本模拟器的正确性和有效性．