-
题名基于身份密钥交换的安全模型
被引量：1
- 1
-
-
作者
刘文菊
张俊伟
马建峰
杨超
李兴华
-
机构
天津工业大学计算机科学与软件学院
西安电子科技大学计算机网络与信息安全教育部重点实验室
-
出处
《通信学报》
EI
CSCD
北大核心
2010年第3期89-94,共6页
-
基金
天津科技攻关计划基金资助项目(06YFGZGX17500)
国家自然科学基金资助项目(60573036
60702059)~~
-
文摘
研究了基于身份的密钥交换协议的可证明安全问题。在通用可组合安全框架下,提出了基于身份密钥交换协议的模型。在攻击模型中,添加了攻陷密钥生成中心的能力。根据基于身份密钥交换的特点,设计了基于身份密钥交换的理想函数。在新的攻击模型和理想函数下,提出的模型既保证了基于身份密钥交换的通用可组合安全性,又保证了一个重要的安全属性——密钥生成中心前向保密性。此外,带有密钥确认属性的Chen-Kudla协议可以安全实现基于身份密钥交换的理想函数。
-
关键词
基于身份密钥交换
UC安全
密钥生成中心前向保密性
-
Keywords
ID-based key exchange
UC secure
key generation center forward secrecy
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种分析电子商务安全协议的新逻辑
被引量：1
- 2
-
-
作者
陈莉
-
机构
河南财经学院计算中心
-
出处
《计算机科学》
CSCD
北大核心
2010年第10期110-115,共6页
-
基金
国家高技术研究发展计划(863计划)(2007AA01Z471)
国家自然科学基金项目(60473021)
+1 种基金
河南省重点科技攻关项目(072102210029)
河南省科技攻关项目(0624260017)资助
-
文摘
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,提出了一种新的逻辑分析方法。新逻辑能够分析电子商务安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。以匿名电子现金支付协议ISI作为分析实例,证明了新逻辑方法的有效性。分析找出了该协议的安全漏洞和缺陷:不满足商家的非否认性、密钥保密性、可追究性、公平性以及原子性,客户面临商家恶意欺骗的潜在威胁。
-
关键词
逻辑分析方法
安全属性
密钥保密性
原子性
混合密码原语
逻辑构件
-
Keywords
Logic analysis method
Security property
Secrey of key
Atomicity
Hybrid cryptography-based primitives
Logic sentences
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名优化的匿名电子现金支付协议及其形式化验证
- 3
-
-
作者
陈莉
刘军
-
机构
河南财经学院计算中心
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第8期3053-3057,共5页
-
基金
国家"863"计划资助项目(2007AA01Z471)
国家自然科学基金资助项目(60473021)
+2 种基金
河南省重点科技攻关项目(072102210029)
河南省科技攻关项目(0624260017)
河南省教育厅自然科学研究计划项目(2010A520004)
-
文摘
针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。对优化协议进行形式化验证,结果表明,优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。
-
关键词
安全属性
形式化验证
密钥保密性
非否认性
公平性
原子性
-
Keywords
security property
formal verification
key confidentiality
non-repudiation
fairness
atomicity
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名改进的可认证邮件传递协议及其安全属性分析
- 4
-
-
作者
陈莉
王唯贤
-
机构
河南财经学院计算中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第21期112-114,140,共4页
-
基金
国家自然科学基金No.60473021
国家高技术研究发展计划(863)(No.2007AA01Z471)
+1 种基金
河南省重点科技攻关项目(No.072102210029)
河南省科技攻关项目(No.0624260017)~~
-
文摘
针对可认证邮件传递协议CMP1存在的缺陷,提出了改进方案,通过引入密码原语——加密Hash函数,保护了邮件消息的机密性,引入FTP传输方式传送发方和收方的非否认证据,确保公平性的实现,进一步增强协议的鲁棒性。使用拓展的卿-逻辑分析了改进的CMP1协议的安全目标。
-
关键词
非否认性
公平性
密钥保密性
鲁棒性
加密Hash函数
-
Keywords
non-repudiation
fairness
secrecy of key
robustness
cryptographic Hash function
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
