成果/Result
- 基于XKMS的三层网络结构的PKI系统模型被引量：9收藏
- 作者：陈莉 张浩军 祝跃飞
- 机构：信息工程大学网络工程系;河南财经学院;河南工业大学
- 来源：《计算机工程与应用》 2006
- 关键词：公钥基础设施 XML密钥管理规范 XML签名 XML加密 数字信封
- 摘要：XKMS降低了客户端部署PKI的复杂度,为网络应用提供了可以互操作的安全基础设施。论文分析了传统PKI系统存在的问题和目前XKMS不能取代传统PKI的原因,给出了基于XKMS的三层网络结构的PKI系统模型,并且在深入分析...
- 满足多种安全属性的复合型支付协议及其逻辑分析被引量：5收藏
- 作者：陈莉 袁开银
- 机构：河南财经政法大学现代教育技术中心
- 来源：《计算机应用研究》 2012
- 关键词：复合型支付协议 密钥新鲜性 密钥秘密性 原子性
- 摘要：针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌...
- NTRU格上高效的基于身份的全同态加密体制被引量：5收藏
- 作者：段然 顾纯祥 祝跃飞 郑永辉 陈莉
- 机构：信息工程大学四院;数学工程与先进计算国家重点实验室;河南财经政法大学网络信息安全研究所
- 来源：《通信学报》 2017
- 关键词：全同态加密 基于身份加密 NTRU格 随机谕示模型 近似特征向量
- 摘要：全同态加密是目前解决云计算网络数据隐私保护问题的最佳方案,但目前的体制的公钥尺寸普遍较大。首先,通过引入Kullback-Leibler散度的概念,构造一种NTRU格上的基于身份公钥的加密体制,参数分析表明体制具有较小的...
- 基于XKMS的PKI系统的研究与实现被引量：4收藏
- 作者：陈莉 张浩军 祝跃飞
- 机构：信息工程大学网络工程系;河南财经学院;河南工业大学
- 来源：《计算机工程与设计》 2006
- 关键词：公钥基础设施 XML密钥管理规范 XML签名 XML加密 数字信封
- 摘要：XML密钥管理规范XKMS降低了客户端部署PKI的复杂度,为网络应用提供了可以互操作的安全基础设施。分析了目前XKMS不能取代传统PKI的原因,给出了基于XKMS的PKI系统设计方案及XKMS服务端的具体实现过程,并且在...
- 新的复合型电子商务安全协议被引量：3收藏
- 作者：陈莉 郭清溥
- 机构：河南财经学院计算中心
- 来源：《计算机工程与应用》 2010
- 关键词：复合型安全协议 安全属性 认证性 非否认性 公平性
- 摘要：针对典型电子商务安全协议存在的安全目标单一,不能满足日益增加的安全需求等问题,提出了一种能够满足多种安全属性的复合型电子商务安全协议,该协议包含认证子协议和支付子协议两部分。认证子协议基于令牌概念实现了高效认证及协商会话...
- 支持多比特加密的全同态加密体制设计被引量：2收藏
- 作者：陈莉 周扬 段然
- 机构：河南财经政法大学网络信息安全研究所;数学工程与先进计算国家重点实验室
- 来源：《计算机应用研究》 2021
- 关键词：云计算 全同态加密 判定性容错学习问题 多比特加密 可证明安全
- 摘要：现有全同态加密体制普遍存在密文尺寸较大和采用单比特加密所导致的效率较低问题。在Gentry等人提出的全同态加密体制(简称GSW13体制)的基础上,通过修改其展开方式,利用近似特征向量技术,提出了一种新的全同态加密体制。在...
- 离线公平交换协议的子协议分析被引量：1收藏
- 作者：李向东 陈莉 王清贤
- 机构：信息工程大学信息工程学院;郑州大学西亚斯国际学院;河南财经学院计算中心
- 来源：《计算机工程》 2010
- 关键词：公平交换 子协议 串空间 离线可信第三方 协议设计
- 摘要：离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题...
- 一种NTRU格上基于身份全同态加密体制设计被引量：1收藏
- 作者：段然 顾纯祥 祝跃飞 郑永辉 陈莉
- 机构：信息工程大学四院;数学工程与先进计算国家重点实验室;河南财经政法大学网络信息安全研究所
- 来源：《电子学报》 2018
- 关键词：全同态加密 基于身份加密 环上带错学习问题 NTRU格 近似特征向量
- 摘要：全同态加密可以用来解决云计算环境中的隐私保护问题,然而现有体制具有系统参数大、效率低的缺点.针对现有攻击技术,首先设计了一种高效的NTRU格上的基于身份公钥加密体制,无需借助额外的安全性假设,具有更高的安全性和更小的系统...
- 一种分析电子商务安全协议的新逻辑被引量：1收藏
- 作者：陈莉
- 机构：河南财经学院计算中心
- 来源：《计算机科学》 2010
- 关键词：逻辑分析方法 安全属性 密钥保密性 原子性 混合密码原语 逻辑构件
- 摘要：针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,提出了一种新的逻辑分析方法。新逻辑能够分析电子商务安全协议的认证性、密钥保密性、非否认性、可追究性...
- 一种新的安全协议验证逻辑及其串空间语义被引量：1收藏
- 作者：陈莉
- 机构：河南财经学院计算中心
- 来源：《计算机工程》 2011
- 关键词：安全属性 串空间 逻辑语义 混合密码原语
- 摘要：针对典型的安全协议验证逻辑存在的问题,如安全属性验证存在局限性、对混合密码原语的处理能力不强等,提出一种新的验证逻辑,新逻辑能够验证安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。现有多数验证逻辑缺乏形...
- 基于联合树的隐私高维数据发布方法被引量：0收藏
- 作者：张啸剑 陈莉 金凯忠 孟小峰
- 机构：河南财经政法大学计算机与信息工程学院;河南财经政法大学网络信息安全研究所;中国人民大学信息学院
- 来源：《计算机研究与发展》 2018
- 关键词：高维数据 差分隐私 Markov网 联合树 边缘分布
- 摘要：基于差分隐私的数据发布已得到研究者的广泛关注.然而,现有的发布方法却不能有效地处理高维数据,其原因在于维度灾难和值域多样会引入极大的噪音值,进而使得发布结果的可用性比较低.基于此,提出一种基于联合树的隐私高维数据发布方法...
- 无滥用的乐观多方合同签署协议被引量：0收藏
- 作者：李向东 王清贤 陈莉
- 机构：解放军信息工程大学信息工程学院;郑州大学西亚斯国际学院计算机科学系;河南财经学院计算中心
- 来源：《计算机应用研究》 2009
- 关键词：无滥用性 多方合同签署 乐观协议 公平交换
- 摘要：为了解决多方合同签署协议结构复杂、难以理解和分析、消息交换轮数和次数多、效率低等问题,提出了两个乐观多方合同签署协议,并分析了协议的公平性和无滥用性。协议1使用普通数字签名算法,满足公平性但不满足无滥用性;协议2使用一种...
- 改进的可认证邮件传递协议及其安全属性分析被引量：0收藏
- 作者：陈莉 王唯贤
- 机构：河南财经学院计算中心
- 来源：《计算机工程与应用》 2011
- 关键词：非否认性 公平性 密钥保密性 鲁棒性 加密Hash函数
- 摘要：针对可认证邮件传递协议CMP1存在的缺陷,提出了改进方案,通过引入密码原语——加密Hash函数,保护了邮件消息的机密性,引入FTP传输方式传送发方和收方的非否认证据,确保公平性的实现,进一步增强协议的鲁棒性。使用拓展的卿...
- 优化的匿名电子现金支付协议及其形式化验证被引量：0收藏
- 作者：陈莉 刘军
- 机构：河南财经学院计算中心
- 来源：《计算机应用研究》 2010
- 关键词：安全属性 形式化验证 密钥保密性 非否认性 公平性 原子性
- 摘要：针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收...
