陈伟东
- 作品数：6 被引量：42H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划信息安全国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 指定验证方的门限验证签名方案及安全性证明被引量：9
- 2005年
- Laih提出了指定验证方的签名方案设计问题,并给出一种解决方案.首先分析指出该方案存在严重安全缺陷,然后提出了签名方案SV-EDL,解决了如上密码学问题.同时,把可证明安全理论引入这类方案的分析设计,并在RO(randomoracle)模型中证明:SV-EDL的抗伪造安全性和计算Diffie-Hellman(computational Diffie-Hellman,简称CDH)问题紧密关联,亦即伪造SV-EDL签名几乎和解决CDH问题一样困难;除指定方以外,任何人验证签名的能力都与决策Diffie-Hellman(decisional Diffie-Hellman,简称DDH)问题密切相关.由于CDH问题和DDH问题的困难性与离散对数(discretelogarithm,简称DL)问题紧密相关已成为广泛共识,因此与当前同类方案比较,该签名方案提供了更好的安全性保证.此外,上述签名方案还以非常简明、直接的方式满足不可否认要求.最后提出并构造了验证服务器系统的门限验证协议,并在标准模型中给出了安全性证明.该方案不要求可信中心的存在.
- 陈伟东冯登国谭作文
- 关键词：数字签名方案可证明安全性随机预言模型
- 弱伪随机性研究及其密码学应用
- 本文推广了作为现代密码学基础的伪随机理论,提出了弱伪随机生成器等概念,重点研究了序列多项式取样的弱计算不可分辨性质,并证明,弱单向函数的存在性暗示了弱伪随机生成器的存在性.最后指出弱伪随机理论有较广泛的密码学应用前景.
- 陈伟东冯登国
- 关键词：密码学密钥分配协议
- 公平认证密钥交换协议的安全模型与模块化设计
- 2009年
- 传统的密钥交换协议通常假定合法通信双方都是可信的,然而很多现实应用都要求通信双方在互不信任的环境中执行认证密钥交换协议,为此本文提出了公平认证密钥交换(FAKE)的思想:除了具有一般认证密钥交换协议的基本特点外,通过客户在协议会话中预先植入"会话证据",使得在不揭示会话证据的前提下,合法通信双方均可以否认会话的发生;一旦客户方揭示会话证据,则协议会话记录就会与通信双方的身份绑定.该思想为解决网络服务中保护个人隐私与处理网络服务纠纷的矛盾提供了一种切实可行的技术解决思路.文中系统规划了公平认证密钥交换协议的形式化安全模型,纠正了Kudla关于并发签名公平性安全模型存在的错误之处,利用并发签名具体构造了一个公平认证密钥交换协议,并在随机预言模型(ROM)中证明了该协议满足mBJM-AK安全性、条件可否认性以及公平性.
- 冯登国陈伟东
- 关键词：认证密钥交换协议可证明安全性
- 存在特权集的代理门限群签名方案被引量：7
- 2004年
- 在Schnorr代理签名的基础上,结合存在特权集的门限群签名,提出了两个存在特权集的代理群签名方案。它们具有门限群签名的特点,同时实现了不同代理人的不等代理权限功能。基于离散对数假设,对这两个代理门限群签名方案进行了安全分析。
- 谭作文刘卓军陈伟东
- 关键词：代理签名SCHNORR签名门限群签名
- 一类存在特权集的门限群签名方案被引量：28
- 2005年
- 针对冯登国提出的“存在特权集的门限群签名”问题,旨在分析现有解决方案的安全缺陷并给出新的解决方案.首先基于有限域理论分析指出石怡等人给出的一种实现方案存在不足和安全隐患.然后推广了利用单签名构造群签名的思想,提出了具有4个变形的一类EIGamal类型门限群签名方案,从而解决了以上问题.这类方案还具有消息恢复、签名长度短等许多良好性质.最后,基于单签名的安全性假设,证明以上方案是安全的.
- 陈伟东冯登国
- 关键词：门限群签名方案秘密共享方案可证明安全性
- 安全协议的可证明安全性研究
- 可证明安全性理论是一个相对新的密码学子领域，其基本思想是：把安全协议的安全性归约到一些更基本的公认数学难题的求解。它的出现使得安全协议研究真正成为了一门科学。目前该理论已成为安全协议研究的主流方向之一。
本文主...
- 陈伟东
- 关键词：安全协议可证明安全性随机预言模型秘密共享方案
- 文献传递
