-
题名一种基于混合密码体制的不可否认协议及其形式化分析
被引量：2
- 1
-
-
作者
李艳平
张建中
-
机构
陕西师范大学数学与信息科学学院
-
出处
《中国科学院研究生院学报》
CAS
CSCD
2004年第2期185-190,共6页
-
基金
国家自然科学基金 ( 10 2 710 69)
陕西省自然科学基础研究计划项目 ( 2 0 0 2A0 3 )资助
-
文摘
提出一个基于混合密码体制的抗否认密码协议 :可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性 ;在通常情况下只需通信双方进行 3次信息的交互 ,且保证传递数据的机密性与收发方交易的隐私权 ;避免了可信第三方可能成为系统瓶颈的问题 .最后给出该协议的形式化分析 ,证明了它的公平性、安全性与可行性 .
-
关键词
欺诈
否认
BAN逻辑
kailar逻辑
-
Keywords
cheating,denying,BAN logic,kailar logic
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种新的复合型电子支付协议及其形式化分析
- 2
-
-
作者
丁月
汪学明
-
机构
贵州大学计算机科学与技术学院
-
出处
《计算机应用与软件》
北大核心
2018年第6期319-324,共6页
-
文摘
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步提高了支付子协议的完整性和保密性。通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性。
-
关键词
复合型电子支付协议
双向认证
SVO逻辑
kailar逻辑
形式化分析
-
Keywords
Compound electronic payment protocol
Two-way certification SVO
logic kailar logic
Folanal analysis
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
