姬东耀 作品数:32 被引量:147 H指数:8 供职机构: 中国科学院 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 经济管理 理学 更多>>
对两个双方密码协议运行模式的攻击及改进 被引量:1 2003年 In this paper,the running modes of the two-party cryptographic protocols are used to analyze the two authentication and key agreenment protocols,and attack on the protocols is discovered. Finally,two improved protocols are given. 姬东耀 冯登国关键词:密码协议 计算机网络 网络安全 一类基于秘密共享的量子密码方案的分析 被引量:1 2009年 最近杨宇光等人利用经典秘密共享给出一系列量子密码方案.其基本思想是将量子密钥共享给n个不同的成员,使得这些成员可以辅助实现量子身份认证、代理签名和量子安全直接通信.然而在实际应用中,这些方案继承了经典秘密共享方案的缺点,不能提供每个成员诚实参与协议的证明,任何恶意不合作行为只有最后才能被发现,从而使这类量子密码方案的使用效率很低.其次,由于这些方案使用了比特异或运算,使方案还存在一个更严重的攻击:如果任意两个成员合谋,可以改变他们原有的影子值,并且可以无障碍的使用新的影子参与量子密码方案,破坏协议执行的目的,使方案的门限彻底失效.此攻击是量子密码方案除密钥安全外的一种新的攻击形式. 张兴兰 姬东耀关键词:量子安全直接通信 秘密共享 量子密码 通信安全 基于LPN问题的RFID安全协议设计与分析 被引量:13 2009年 该文对现有的基于LPN问题的RFID安全协议进行了系统分析,总结了这类协议存在的一些设计缺陷。为了克服这类协议中存在的安全漏洞,对其中一个最新版本的协议HB+进行改进,设计了一个新的RFID安全协议HB^#,并在随机预言模型下给出了新协议的归约性证明。 唐静 姬东耀关键词:归约 HB协议的形式规约与验证 被引量:1 2008年 形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法. 唐静 姬东耀关键词:形式规约 安全协议 电子商务中责任鉴别协议的形式描述与分析 2001年 电子商务协议不仅涉及交易双方的相互认证,而且涉及交易双方对所发消息所负的责任,即交易双方能对第三方(公众或法庭)证明他们所负责任。实现无纸化交易的电子商务协义必须提供与有纸交易一样的责任保证,没有这样的保证,电子交易就会令人怀疑甚至引起争喘,也无法对实施欺诈的个体和组织进行惩罚。 姬东耀 王育民关键词:电子商务 因特网 多授权中心可验证的基于属性的加密方案 被引量:8 2008年 在本文构造的方案中,将可验证的属性加密方案由单个授权中心推广到多个授权中心,使得多授权中心的基于属性的加密在解密出错时,可以检验出是哪个授权中心部分的密钥出错,只需要去找该授权中心重发,不用让所有授权中心均重发;其次各个授权中心在被检查出错时,也只需要重发对应部分的信息;当密钥通过验证,而解密依然出错,说明是加密过程中或者密文跟随的消息属性出了问题,不会出现无法判断哪里出错的情况.同时证明了加入可验证性后,在经过修正的安全模型下,并不影响多授权中心基于属性加密的安全性. 唐强 姬东耀关键词:可验证秘密分享 可证安全 基于认证检验的电子支付协议设计与分析 研究了利用串空间模型分析与设计电子支付协议的方法,基于认证检验的思想详细分析了一些典型电子支付协议的执行丛,并且给出一种安全电子支付协议设计的一般方法. 姬东耀 冯登国关键词:串空间模型 电子支付协议 数据加密 文献传递 因特网上信息安全与小额支付协议的设计分析 该文从设计和分析两个方面对信息安全与小额电子支付协议进行了研究,所取得的主要研究结果如下:(1)在分析现有小额支付协议的基础上,提出了小额支付协议的设计原则.(2)在克服一种小额电子支付协议的缺陷的基础上,提出一种新的小... 姬东耀关键词:因特网 安全协议 访问控制方案 一个基于群签名的安全电子拍卖协议 被引量:12 2002年 基于群签名技术和Shamir′s门限方案 ,设计了一个适于分布式松耦合广播 /预约系统使用的安全电子拍卖协议 .协议不仅保证了投标者对所投价位的不可否认性和匿名性 ,而且保证了拍卖代理对接收标书的不可否认性 .与先前工作相比 ,本文的方案提供了较高的安全特性 。 姬东耀 王育民关键词:计算机网络 电子拍卖 群签名 通信协议 基于PayWord的小额电子支付协议 被引量:18 2002年 本文基于R Rivest和A Shamir提出的小额电子支付协议PayWord ,为因特网上低价位信息商品的交易设计了一种小额电子支付协议NMP .与现有的小额电子支付协议相比 ,NMP协议可以支持更多种类信息商品的交易 ,而且具有更好的安全性、公平性和不可否认性 .NMP协议仅仅增加了尽可能少的、必须的密码运算和消息 。 姬东耀 王育民关键词:PAYWORD 通信协议