国家高技术研究发展计划(2003AA144151)
- 作品数：2 被引量：2H指数：1
- 相关作者：李丽秦静李宝李正朝更多>>
- 相关机构：山东大学中国科学院研究生院中国人民解放军外国语学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：电子电信理学更多>>
- 对OT协议的分析与改进被引量：2
- 2005年
- 通过对Rabin的OT协议、非交互的OT21协议、OTn1协议及OTnk协议4类主要OT协议(oblivious transfer protoco1)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一些改进,提高了这类协议的效率和安全性.
- 秦静李宝崔少军李丽
- 关键词：密码协议单向函数
- CS逻辑的分析及改进
- 2006年
- 较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.
- 李丽李正朝秦静
- 对OT协议的分析与改进
- 通过对Rabin的OT协议、非交互的OT12协议、OTn1协议及OTnk协议4类主要OT协议(oblivioustransferprotocol)的分析,指出了这些协议存在的不足,并分别对OTn1协议与OTnk协议作了一...
- 秦静李宝崔少军李丽
- 关键词：密码协议单向函数
- 文献传递
