山东省自然科学基金(Y2003A03)
- 作品数:7 被引量:21H指数:3
- 相关作者:秦静赵华伟李丽李大兴黄辉更多>>
- 相关机构:山东大学中国科学院研究生院中国人民解放军外国语学院更多>>
- 发文基金:山东省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信理学更多>>
- 一种调和两种观点的安全协议分析法被引量:2
- 2006年
- 在安全协议的形式化分析中,有两种完全不同的观点:符号方法和计算方法,两者各有优缺点.通过对两种观点的研究,按照优势互补的原则将两者相调和,建立了一种新的形式化分析方法.该方法将协议的安全性分为完全性和正确性,通过分析这两种性质,不仅能考察协议在逻辑上能否达到预期目标,而且能考察敌手在计算上的攻击能力.第一次从逻辑可靠性和计算可靠性两方面对协议进行了综合的安全性分析.
- 赵华伟李大兴
- 关键词:计算方法
- 一个基于OT协议的电子选举方案被引量:4
- 2008年
- 将OT协议应用于电子选举中,提出一个新的电子选举方案。该方案能较好地解决电子选举对多选性的要求,同时满足安全电子选举方案的基本特性,且效率较高,可适用于较大规模的选举,进一步改进和完善了现有的电子选举方案。
- 郭栋梁秦静李鹏程
- 关键词:电子选举方案
- 密钥交换协议的安全性分析被引量:7
- 2006年
- 通过对两种攻击的分析,指出缺少认证性的密钥交换协议是不安全的.从认证性入手,在以下两个方面探讨了密钥交换协议的安全性:一方面讨论该协议应采用的消息元素和密码体制,为规范此类协议的设计指出了一个可行方向;另一方面通过两个密码学游戏给出了安全密钥交换协议的定义,该定义量化了协议的认证性,与以往的定义相比,可更准确和直观地分析这种协议的安全性.
- 赵华伟李大兴
- 关键词:认证性密钥交换协议安全性
- 对OT协议的分析与改进被引量:2
- 2005年
- 通过对Rabin的OT协议、非交互的OT21协议、OTn1协议及OTnk协议4类主要OT协议(oblivious transfer protoco1)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一些改进,提高了这类协议的效率和安全性.
- 秦静李宝崔少军李丽
- 关键词:密码协议单向函数
- 一种可分析保密性与认证性的模态逻辑
- 2007年
- 提出了一种新的基于信念的模态逻辑——MBL逻辑,来分析由单向函数构造的对称钥认证交换协议的安全性。该逻辑有严格的证明体系,可证明推理规则在其语义模型下的正确性,说明该逻辑具有合理性。其推理规则不仅能对单向函数保护的消息进行有关认证性的推理,克服了以往逻辑系统使用不当的安全服务来分析协议认证性的缺陷,而且可分析消息的保密性,避免了其他逻辑分析协议时对可信中心的过分依赖,可发现敌手通过欺骗可信中心而造成的攻击。
- 赵华伟秦静
- 关键词:模态逻辑BAN类逻辑会话密钥
- 一个改进的代理盲签名方案被引量:6
- 2007年
- 通过对代理盲签名方案的分析,指出该方案不具有不可追踪性,攻击者可以原始签名者的身份再次发布代理公钥,代理授权阶段传输信道必须是安全信道,且原始签名者可以伪造代理签名者的盲签名等安全缺陷。针对这些安全缺陷,提出了一个新的代理盲签名方案,新的方案具有不可追踪性的特点,解决了攻击者再次发布代理公钥,代理签名者盲签名被伪造等问题,而且信息在非安全信道中仍可以安全传输,新的方案具有更高的安全性和实用性。新的方案可应用到电子现金等现实领域中,并给出了一个电子现金方案。
- 黄辉秦静李丽
- 关键词:代理签名盲签名代理盲签名不可追踪性
- CS逻辑的分析及改进
- 2006年
- 较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.
- 李丽李正朝秦静
- 对OT协议的分析与改进
- 通过对Rabin的OT协议、非交互的OT12协议、OTn1协议及OTnk协议4类主要OT协议(oblivioustransferprotocol)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一...
- 秦静李宝崔少军李丽
- 关键词:密码协议单向函数
- 文献传递