共查询到18条相似文献,搜索用时 108 毫秒
1.
黄志华 《福州大学学报(自然科学版)》2003,31(6):652-655,663
为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路. 相似文献
2.
Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作. 相似文献
3.
4.
谢晓尧 《贵州工业大学学报(自然科学版)》2005,34(6):51-54
基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析,找到协议的安全漏洞,完善认证协议。 相似文献
5.
在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性. 相似文献
6.
按照OSI/RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析. 相似文献
7.
结合新长江集团商务王牌网ACEC电子商务交易模式,研究了ACEC基于SSL的网上支付系统的框架和流程;并通过对ACEC交易流程和网上支付过程分析,研究了网上支付系统的框架、Payment Manager的设计、建立以及它的多支付协议框架和内部结构,并介绍了PM的协议格式. 相似文献
8.
基于着色Petri网实现A星算法的生产调度优化研究 总被引:1,自引:1,他引:0
基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例. 相似文献
9.
Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例. 相似文献
10.
关于电子商务系统中安全支付模型的探讨 总被引:1,自引:0,他引:1
陈建强 《贵州工业大学学报(自然科学版)》2001,30(2):55-59
简要分析了电子支付在安全方面的需求 ,介绍了相关核心技术。具体分析了各种电子支付模式 ,并进行了比较。就安全电子交易协议SET的核心—安全支付模型进行了详细分析 ,并做了一些探讨 相似文献
11.
一种新型卫星网管协议的Petri网描述与验证 总被引:2,自引:1,他引:1
介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础· 相似文献
12.
形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性。 相似文献
13.
安全Petri网位置不变式的一种生成算法 总被引:1,自引:0,他引:1
Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法. 相似文献
14.
基于Petri网的ECA规则集终止性分析 总被引:2,自引:0,他引:2
对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好. 相似文献
15.
IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations… 相似文献
16.
电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。 相似文献
17.
WANGShao-bin ZHUXian HONGFan 《武汉大学学报:自然科学英文版》2004,9(5):717-721
With analyzing the existing on-line electronic payment protocols, this paper presents a new on line electronic payment protocol named ACSEPP: Anonymous. Convenient and Secure Electronic Payment Protocol. Its aim is to design a practical electronic payment protocol which is both secure and convenient. Without using PKLCA frame, it realized the anonymity of consumer and merchant, the convenient of handling, the low cost of maintenance and the securily. 相似文献
18.
陈慧南 《南京邮电大学学报(自然科学版)》1990,(4)
Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础. 相似文献