SET协议形式化分析与模型检测

来源 :软件 | 被引量 : 0次 | 上传用户:minloveyou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着移动网络技术的快速发展,电子商务的大量普及,电子商务不在单单只是局限于有线网络,商家们开始将商机延续到移动网络。移动网络用户群体中手机移动上网用户占绝大部分,在这样的商机驱动下,移动电子商务得到快速发展。移动电子商务中最为核心的技术是移动电子支付协议SET,它直接决定了移动电子商务的安全性、高效性。本文就在这样的背景下采用AVISPA工具研究SET协议,通过形式化分析与模型检测,发现了SET协议的支付密钥的不安全性,并给出了攻击路径。
其他文献
文章分析中职美术对口高考创意色彩的教学现状,提出了相应的教学策略,以期提高中职美术色彩教学质量,提升中职学生的美术水平。
为实现可持续产品的快速开发,提出了面向产品可持续设计的关键模块识别方法。将传统的顾客需求扩展为面向可持续的环境,经济,社会需求,基于质量功能配置的展开过程,将产品的
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的探讨团队技能训练模式结合穴位拍打在焦虑症患者健康教育中的应用效果。方法回顾性分析2016年6-9月我院收治的37例焦虑症患者的临床资料,并设为对照组,采用常规宣教对患
随着世界科学技术的发展,电脑已经成为人们生活的一部分,给人们生活,学习,工作带来了极大的方便。在人们使用过程中,通过不断的开发创新,为计算机软件应用程序中添加一个非常强大的
高考美术教学是一个完整的教学体系。学生的绘画水平需要在理解能力、手上功夫都提高的情况下,才能有新的突破。高考美术教学微视频的可视化再现,对于学生理解知识难点、绘画
随着信息技术的不断发展,云计算已经成为一种新型的互联网服务模式,已经得到广泛使用。本文主要探讨分析云计算存在的一些安全问题及云计算的应用改进,以促进云计算服务安全、可
<正>~~
期刊
苏轼是宋代著名的政治家、文学家和书画家,他的《黄州寒食诗帖》对后代影响深远,是中国书法史上的瑰宝,其写意性受到后代追捧。文章从书写内容、结字造型和书写的无意性三个
简要介绍了液压自由活塞发动机相比于传统内燃机的优越性能,针对液压自由活塞发动机的特点以及公交车运行的特殊性,探究了液压自由活塞发动机在市内公交车上应用的可行性,展现了