-
题名一种基于混合密码体制的不可否认协议及其形式化分析
被引量：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
-
-
作者
李益发
谢文海
张彦肖
-
机构
信息工程大学信息安全学院
深圳证券交易所
-
出处
《信息工程大学学报》
2000年第2期26-28,共3页
-
文摘
本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析 ,进而对Kailar逻辑也作了一些讨论。
-
关键词
电子商务协议
ban逻辑
kailar逻辑
-
Keywords
electronic commerce protocol,ban logic,kailar logic.
-
分类号
O14
[理学—基础数学]
-
