陈伟东
- 作品数：3 被引量：49H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于口令的安全协议的模块化设计与分析被引量：18
- 2007年
- 首先在分析基于口令的安全协议研究现状的基础上,提出了“弱计算不可分辨”概念,并以此为基础系统研究了基于口令的安全协议的理论基础—“弱伪随机性”理论;其次,以“弱伪随机性”理论为核心,建立了基于口令的安全协议的模块化设计与分析理论;最后,利用所建立的基于口令的安全协议的模块化设计与分析理论,设计了两类基于口令的安全协议,即基于口令的会话密钥分配协议和口令更换协议,这两类协议的最大特点是:实现效率高,具有可证明安全性,满足前向安全性.
- 冯登国陈伟东
- 关键词：安全协议可证明安全性随机预言模型
- 对“两类强壮的门限密钥托管方案”的分析被引量：8
- 2004年
- 论文对两类“强壮”的门限密钥托管方案进行了系统分析 ,给出多种切实可行的攻击方法 ,指出它们都是不安全的 .首先 ,主要利用“可信度”函数等方法首次奠定了对密钥托管协议的形式化分析基础 .然后提出了对以上方案的两种阈下信道攻击 ,前者本质上属于“阴影会话密钥”攻击方法 ,后者则利用签名算法构造阈下信道 .通过成功实施各种欺骗攻击 ,指出两类方案并未在真正意义上解决诸如“一次监听 ,永远监听”、用户密钥碎片有效认证及鉴别恶意托管方等问题 .最后分析指出两类方案的“强壮性”值得商榷 ,并证明一些协议组件是不必要的 .
- 冯登国陈伟东
- 关键词：密钥托管门限方案强壮性
- 签密方案在分布式协议中的应用被引量：23
- 2005年
- 该文基于可验证秘密共享思想和对Zheng的签密方案的必要修改,首次构造了一种不需要可信中心的门限签密方案.它能同时达到门限签名和加密的双重目的,实现代价仅和门限签名相当,并具有非否认性质.该文对当前一些分布式密钥分配协议做了分析,并基于Naor的基本思想,重点利用签密方案设计了协议SC DKDS.与其它协议相比,该协议在减低实现成本等方面更为有效,因为它不需要认证信道、秘密信道及复杂的零知识证明等.该文还在RO(RandomOracle,随机预言)模型中给出了以上协议的安全性证明.
- 陈伟东冯登国
- 关键词：签密门限签密方案可证明安全性
