首页> 中文会议>2017年贵州省计算机学会年会 >一种新的复合型电子支付协议及其形式化分析

一种新的复合型电子支付协议及其形式化分析

页面导航

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

摘要

针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击,支付子协议的完整性不能有效保证这些不足,提出了一种新的复合型电子支付协议.新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性.通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性.

著录项

来源
《2017年贵州省计算机学会年会》|2017年|34-40|共7页
会议地点贵州遵义
作者
DING Yue; 丁月; WANG Xue-ming; 汪学明;
展开▼
作者单位

贵州省计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
复合型电子支付协议; 双向认证; Hash函数; 第三方转发; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 一种新的复合型电子支付协议及其形式化分析 [J] . 丁月 ,汪学明 . 计算机应用与软件 . 2018,第006期
2. 一个新的电子支付协议及其形式化分析 [J] . 徐洋 ,汪学明 ,谢晓尧 . 计算机应用与软件 . 2008,第009期
3. 一种新的电子邮件协议及其形式化分析 [J] . 解颜铭 ,石曙东 ,翁艳琴 . 湖北师范学院学报（自然科学版） . 2013,第001期
4. 一种新的形式化模型对安全认证协议的分析 [J] . 胡晓辉 ,曾雪娜 ,姜浩 . 计算机应用研究 . 2010,第012期
5. 一种新的双方不可否认密码协议及其形式化分析 [J] . 桑永宣 ,曾吉文 . 厦门大学学报（自然科学版） . 2008,第005期
6. 一种新的密码协议攻击分类及形式化描述方法 [C] . 张智慧 ,刘怡文 ,李金汉 . 中国计算机学会信息保密专业委员会学术年会 . 2002
7. 电子商务安全协议的一种形式化分析方法 [A] . 王亮 . 2010

一种新的复合型电子支付协议及其形式化分析

摘要

著录项

相似文献

相关主题

期刊订阅