国家高技术研究发展计划(2002AA141040)
- 作品数：6 被引量：23H指数：3
- 相关作者：陈弘毅吕述望白国强周涛杜庆灵更多>>
- 相关机构：清华大学中国科学院研究生院更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Strand空间中基于安全密钥概念的证明思路被引量：1
- 2005年
- 提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。
- 任侠吕述望
- 关键词：计算机科学技术基础学科安全密钥
- 一类安全椭圆曲线的选取及其标量乘法的快速计算被引量：10
- 2002年
- 安全椭圆曲线的选取和标量乘法的快速计算是有效实现椭圆曲线密码体制的两个主要问题 .本文将二者结合起来考虑给出了一类适合普通PC机实现的安全椭圆曲线 ,并详细给出了选取这类曲线的具体步骤和基于“大步 小步法”思想构造了一种新的计算这类曲线上标量乘法的快速算法 .这类曲线不仅选取容易而且利用本文所提出方法计算其标量乘法时能使所需椭圆曲线运算次数大大减少 .此外 ,选用这类曲线后基域中元素不再需要专门的表示方法 ,各种运算能非常快地得到实现 。
- 白国强周涛陈弘毅
- 关键词：密码标量乘法信息安全
- 可仲裁多发送认证系统分析
- 2006年
- 文章提出了可仲裁多发送认证系统模型,给出了各方欺骗者实施模仿攻击和替代攻击成功概率的计算公式及下界,说明了在某一个全水平下,各发送者、接收者、仲裁者应掌握的密钥量。
- 杜庆灵吕述望
- 关键词：仲裁
- 动态群密钥更新分析被引量：1
- 2005年
- 提出了无条件安全的动态群密钥分配模型,分析了一次群密钥的改变,群中各成员需要更新的秘密信息和公开信息的信息量下界。
- 杜庆灵吕述望
- 关键词：动态群密钥分配密钥更新
- 使用优化的CIOS算法的模运算处理器被引量：3
- 2004年
- 为以较小的面积代价实现RSA公钥密码算法及其他一些算法所需的求模、模加、模乘、模幂等运算,该文设计了一种可作为协处理器使用的模运算处理器。运算数据的长度可变,范围从256b到2048b。采用优化的CIOS(coarselyintegratedoperatedscanning)算法以加快模乘的速度。充分的流水线设计使得时钟频率可达60MHz,在该工作频率下完成1024b模幂的时间为57ms。除RAM外的核心电路仅含16000等效门,在0.35μmCMOS工艺条件下,包含RAM的电路总面积仅为3.31mm2。该处理器适合用于嵌入式系统,尤其是面积局限性高的系统。
- 孙怡乐吴行军陈弘毅
- 关键词：公钥密码算法MONTGOMERY模乘微程序
- 一种基于混沌的真随机源电路被引量：8
- 2004年
- 提出了一种基于混沌的随机源电路 ,通过利用电容上电荷的再分配 ,实现了一个离散混沌系统 .该电路在0 .8μm CMOS工艺下流片成功 ,核心面积小于 4 2 0 0 μm2 ,功耗小于 1m W,优于目前已有的几种实现方法 .
- 黄谆周涛白国强陈弘毅
- 关键词：随机数发生器混沌电路
