李丽
- 作品数：5 被引量：11H指数：2
- 供职机构：山东大学数学学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 高效率的非交互OT_n^k协议及其应用被引量：3
- 2008年
- 在Cheng-Kang Chu和Wen-Guey Tzeng设计的OTnk协议的基础上提出了一个非交互的OTkn协议.该协议降低了通信复杂度和计算复杂度,接收方的安全性是无条件的,发送方的安全性在判定Diffie-Hellman问题假设下是计算安全的;相比Cheng-Kang Chu和Wen-Guey Tzeng的OTnk协议效率更高.同时修正和给出协议安全性的完整证明.基于所提出的非交互OTnk协议设计了一个数字产品秘密交易机制,解决了产品价格不一致时的数字产品交易问题.
- 秦静李丽李宝
- 关键词：不经意传输协议
- 一个改进的代理盲签名方案被引量：6
- 2007年
- 通过对代理盲签名方案的分析,指出该方案不具有不可追踪性,攻击者可以原始签名者的身份再次发布代理公钥,代理授权阶段传输信道必须是安全信道,且原始签名者可以伪造代理签名者的盲签名等安全缺陷。针对这些安全缺陷,提出了一个新的代理盲签名方案,新的方案具有不可追踪性的特点,解决了攻击者再次发布代理公钥,代理签名者盲签名被伪造等问题,而且信息在非安全信道中仍可以安全传输,新的方案具有更高的安全性和实用性。新的方案可应用到电子现金等现实领域中,并给出了一个电子现金方案。
- 黄辉秦静李丽
- 关键词：代理签名盲签名代理盲签名不可追踪性
- 对OT协议的分析与改进被引量：2
- 2005年
- 通过对Rabin的OT协议、非交互的OT21协议、OTn1协议及OTnk协议4类主要OT协议(oblivious transfer protoco1)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一些改进,提高了这类协议的效率和安全性.
- 秦静李宝崔少军李丽
- 关键词：密码协议单向函数
- 对OT协议的分析与改进
- 通过对Rabin的OT协议、非交互的OT12协议、OTn1协议及OTnk协议4类主要OT协议(oblivioustransferprotocol)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一...
- 秦静李宝崔少军李丽
- 关键词：密码协议单向函数
- 文献传递
- CS逻辑的分析及改进
- 2006年
- 较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.
- 李丽李正朝秦静
