首页> 中文会议>中国教育和科研计算机网CERNET第十二届学术年会 >电子支付安全协议的Petri网模型及分析

电子支付安全协议的Petri网模型及分析

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.

著录项

来源
《中国教育和科研计算机网CERNET第十二届学术年会》|2005年|118-121|共4页
会议地点辽宁大连
作者
林松; 戴宗坤;
展开▼
作者单位

中国教育和科研计算机网;

大连理工大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
安全协议; Petri网; 可达树分析; 电子支付;
入库时间 2022-08-17 10:49:11

相似文献

中文文献
外文文献
专利

1. 电子支付安全协议的Petri网模型及分析 [J] . 林松 ,戴宗坤 . 大连理工大学学报 . 2005,第0z1期
2. 基于时延Petri网的移动电子支付协议模型 [J] . 任大勇 . 计算机与数字工程 . 2013,第010期
3. 基于Petri网的电子支付安全模型研究 [J] . 林松 . 计算机工程与设计 . 2005,第008期
4. 基于着色Petri网仿真模型的安全协议分析 [J] . 龙士工 ,李祥 . 计算机仿真 . 2005,第006期
5. 基于Petri网的电子支付流程模型优化分析 [J] . 关梅 ,王丽丽 ,谢凯 . 宿州学院学报 . 2018,第007期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于网络协议的Petri网研究——利用着色Petri网分析验证安全协议 [A] . 顾明甲 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号