文档名：一种新的复合型电子支付协议及其形式化分析
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击,支付子协议的完整性不能有效保证这些不足,提出了一种新的复合型电子支付协议.新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性.通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性.
作者：丁月汪学明
作者单位：贵州大学计算机科学与技术学院贵州贵阳550025
母体文献：2017年贵州省计算机学会年会论文集
会议名称：2017年贵州省计算机学会年会
会议时间：2017年10月20日
会议地点：贵州遵义
主办单位：贵州省计算机学会
语种：chi
分类号：
关键词：复合型电子支付协议 双向认证 Hash函数 第三方转发 形式化分析
在线出版日期：2021年3月22日
基金项目：
相似文献
相关博文
- 文件大小:
- 362.66 KB
- 下载次数:
- 60
-
高速下载
|
|
