河南省科技攻关计划(0624260017)
- 作品数:7 被引量:5H指数:1
- 相关作者:陈莉李向东王清贤刘楠祝跃飞更多>>
- 相关机构:河南财经学院解放军信息工程大学郑州大学更多>>
- 发文基金:河南省科技攻关计划国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 优化的匿名电子现金支付协议及其形式化验证
- 2010年
- 针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。对优化协议进行形式化验证,结果表明,优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。
- 陈莉刘军
- 关键词:形式化验证非否认性原子性
- 改进的可认证邮件传递协议及其安全属性分析
- 2011年
- 针对可认证邮件传递协议CMP1存在的缺陷,提出了改进方案,通过引入密码原语——加密Hash函数,保护了邮件消息的机密性,引入FTP传输方式传送发方和收方的非否认证据,确保公平性的实现,进一步增强协议的鲁棒性。使用拓展的卿-逻辑分析了改进的CMP1协议的安全目标。
- 陈莉王唯贤
- 关键词:非否认性鲁棒性
- 离线公平交换协议的子协议分析被引量:1
- 2010年
- 离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。
- 李向东陈莉王清贤
- 关键词:公平交换串空间
- 一种分析电子商务安全协议的新逻辑被引量:1
- 2010年
- 针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,提出了一种新的逻辑分析方法。新逻辑能够分析电子商务安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。以匿名电子现金支付协议ISI作为分析实例,证明了新逻辑方法的有效性。分析找出了该协议的安全漏洞和缺陷:不满足商家的非否认性、密钥保密性、可追究性、公平性以及原子性,客户面临商家恶意欺骗的潜在威胁。
- 陈莉
- 关键词:逻辑分析方法原子性
- 一种新的安全协议验证逻辑及其串空间语义被引量:1
- 2011年
- 针对典型的安全协议验证逻辑存在的问题,如安全属性验证存在局限性、对混合密码原语的处理能力不强等,提出一种新的验证逻辑,新逻辑能够验证安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。现有多数验证逻辑缺乏形式化语义,而逻辑语义能够证明逻辑系统的正确性,因此给出新逻辑所含逻辑构件的串空间语义,并应用串空间模型证明了新逻辑主要推理规则的正确性。
- 陈莉
- 关键词:串空间逻辑语义
- 无滥用的乐观多方合同签署协议
- 2009年
- 为了解决多方合同签署协议结构复杂、难以理解和分析、消息交换轮数和次数多、效率低等问题,提出了两个乐观多方合同签署协议,并分析了协议的公平性和无滥用性。协议1使用普通数字签名算法,满足公平性但不满足无滥用性;协议2使用一种专用合同签名算法,同时满足公平性和无滥用性。两个协议都具有简单的对称结构,不论有多少个不诚实用户,主协议只需两轮交换,消息交换次数为O(n2)。
- 李向东王清贤陈莉
- 关键词:公平交换
- 一种数字商品交易微支付方案被引量:2
- 2008年
- 姬东耀等改进了微支付(NMP)方案PayWord,提出了具有较好安全性和公平性的NMP方案。该文在此基础上,给出一种基于自更新哈希链机制的微支付方案。新方案不仅有效解决了恶意透支、时限性等问题,还提高了公平性、安全性和效率。在支付阶段,虽然新方案的存储和通信载荷较NMP增加了80 B,但在10 000份额交易下,前者的节点平均计算效率是后者的125倍。
- 陈莉刘楠祝跃飞
- 关键词:微支付哈希链