大连理工大学学报
大連理工大學學報
대련리공대학학보
JOURNAL OF DALIAN UNIVERSITY OF TECHNOLOGY
2005年
z1期
118-121
,共4页
安全协议%Petri网%可达树%电子支付
安全協議%Petri網%可達樹%電子支付
안전협의%Petri망%가체수%전자지부
通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.
通過對電子支付安全協議的研究,利用Petri網描述瞭電子支付安全協議處理流程;根據可達樹分析瞭電子支付協議Petri網模型的正確性、安全性、公平性、可達性和活性. 基于Petri網理論研究電子支付安全協議的工作,對于指導電子支付相關安全項目的研究以及解決實際安全問題具有一定的理論價值和實踐意義.
통과대전자지부안전협의적연구,이용Petri망묘술료전자지부안전협의처리류정;근거가체수분석료전자지부협의Petri망모형적정학성、안전성、공평성、가체성화활성. 기우Petri망이론연구전자지부안전협의적공작,대우지도전자지부상관안전항목적연구이급해결실제안전문제구유일정적이론개치화실천의의.
