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

来源 :中国教育和科研计算机网CERNET第十二届学术年会 | 被引量 : 0次 | 上传用户：tmdjapanese

【摘要】

：

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

【作者】

：

林松戴宗坤

【机构】

：

四川大学,信息安全研究所,四川,成都,610064

【出处】

：

中国教育和科研计算机网CERNET第十二届学术年会

【发表日期】

：

2005年7期

【关键词】

：

安全协议 Petri网可达树分析电子支付

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

新田：倾力打造林工之都

2014年，新田县发展林工企业60家，入园企业近40家，其中龙头企业5家，全年林工企业生产总值达9亿元，县林产工业园成功申报为现代林业特色产业园省级示范园，林产工业不断做大做强。高起点精心谋划，打造产业之都。新田是湖南省“四大温室县”之一，地处亚热带季风气候区，四季分明、气候湿润、热量充足、雨水丰沛。全县林地面积6万公顷，占国土面积的59.8%，森林覆盖率55.31%，森林蓄积量200.2万立方米

期刊

林产工业南有生态优先工业园建设林地面积服务配套县域经济发展国土面积林业资源城市新区

基于方向场和频率场的自适应指纹图像增强算法

基于指纹图像局部区域所固有的方向特性和频率特性,提出了方向场和频率场的概念,设计了一种快速而有效的自适应指纹图像增强算法.该算法基于局部与宏观相结合的原则,不但利用了指纹图像的局部特性,而且结合了局部四邻区域的关联特性.对于指纹图像中脊线方向变化较规则的区域,采用方向为最佳且经过参数优化的单一方向Gabor滤波;对于指纹图像中脊线方向存在突变块的区域,则采用组合的多方向Gabor滤波.将该方法与L

期刊

指纹图像方向场自适应增强算法方向特性滤波频率特性局部区域计算量相结合fingerprint identification image en

浅析小学语文易错字教学策略研究

我们强调课堂中，一切以学生为中心，以学生发展为本。要充分发挥学生的主体作用，鼓励学生积极参与，勇于实践，以促使学生养成良好的书写习惯。通过课上、课下不断深入的开展易错字教

期刊

课堂小学语文

锦绣潇湘——永州市创建国家森林城市纪实

永州,位于湖南省南部,潇湘二水汇合处,雅称“潇湘”。自古以来,永州便是华中、华东地区通往广东、广西、海南和西南地区的交通要塞,是湖南对外开放的重要门户,素有“南山通衢

期刊

国家森林城市重要门户湖南省南部城市发展西南地区潇湘十年交通要塞生态文明华东地区

新法规8则

财政部关于执行企业会计准则的上市公司和非上市企业做好2010年年报工作的通知（财会[2010]25号，12月28日）上海市财政局关于印发《上海市市本级部门决算批复暂行办法》的通知（沪财

期刊

上海市财政局法规企业会计准则2010年非上市企业年报工作上市公司部门决算

发挥股份制银行的优势促进企业转换经营机制

中央已下定决心,把搞好国营大、中型企业作为重点工作来抓。转换和完善企业经营机制是大势所趋。作为全国第一家公有股份制银行——交通银行,应该如何动作、如何配合呢?我们

期刊

股份制企业自有流动资金发行股票经营机制资金短缺人民银行总行证券市场证券交易所筹资渠道国营工业

发展工业油料植物产业实现绿色增长

我国科技工作者已经就工业油料植物产业进行了长期的研究开发，获得了一系列阶段性成果，突破了高产高含油新品种选育、油脂高效制备和油脂清洁高效转化能源、化工和材料产品等一系列关键技术和共性技术瓶颈。　　湖南省林业科学院科研团队主持完成的“非耕地工业油料植物高产新品种选育及高值化利用技术”获得了2014年度国家科技进步二等奖。项目针对我国非耕地发展工业油料产业存在高产品种缺乏、加工技术和装备落后、产业效益

期刊

工业油脂油料植物产业植物油脂生物柴油化工产品表面活性剂润滑油

企业后勤服务工作创新探索

加快提升企业后勤服务工作质量是保障企业转变发展方式，加快实现企业转型升级的必由之路。目前企业在后勤服务中仍然存在不足、特别是在后勤改革方面存在着配套管理制度不健全

期刊

后勤服务工作创新探索

加强干部人事档案信息化管理全面促进人事管理创新

干部人员的个人详细资料被记录在干部人事档案中，为了解干部人员的具体情况可通过查询干部人事档案得知，同时干部人事档案也是正确选用干部的重要依据。因此，加强管理干部人事档

期刊

干部人事档案信息化管理创新

超声波加工工具对复合变幅杆谐振性能影响

基于变截面杆纵振动的波动方程,推导出安装简单工具双曲过渡形复合变幅杆频率方程和放大系数的一般公式,并讨论了超声波加工工具对复合变幅杆谐振性能的影响. 随着工具长度和

期刊

复合变幅杆推导公式频率方程波动方程一般超声变幅杆加工工具尺寸直径PolesResonanceVibrations (mechanical

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

与本文相关的学术论文