山东省自然科学基金(Y2007G15)
- 作品数：4 被引量：4H指数：1
- 相关作者：秦静李丽李宝曹永超赵华伟更多>>
- 相关机构：山东大学中国科学院山东财政学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- DSA签名方案的一种变形及其安全性
- 2010年
- 在数字签名中,常常使用杂凑函数来代替随机预言产生"消息摘要"或"消息指纹",但是由于杂凑函数不能完全满足随机预言的性质(例如抗碰撞性),影响了这些数字签名方案在现实应用中的安全性。对于这种问题,Liskov提出弱杂凑函数的概念,在使用随机预言的基础上增加了一些辅助预言的预言模型。这些辅助预言的功能是返回破坏随机预言某种很强的性质的值,如返回第一原像。本文给出了DSA签名方案的一种变形,并应用Liskov提出的原像可追踪的随机预言模型证明了其正确性。相较原方案,我们的签名方案即使使用了影响原方案安全性的弱杂凑函数,仍是安全的。
- 乔贝吴晓晓秦静
- 关键词：杂凑函数
- 高效率的非交互OT_n^k协议及其应用被引量：4
- 2008年
- 在Cheng-Kang Chu和Wen-Guey Tzeng设计的OTnk协议的基础上提出了一个非交互的OTkn协议.该协议降低了通信复杂度和计算复杂度,接收方的安全性是无条件的,发送方的安全性在判定Diffie-Hellman问题假设下是计算安全的;相比Cheng-Kang Chu和Wen-Guey Tzeng的OTnk协议效率更高.同时修正和给出协议安全性的完整证明.基于所提出的非交互OTnk协议设计了一个数字产品秘密交易机制,解决了产品价格不一致时的数字产品交易问题.
- 秦静李丽李宝
- 关键词：不经意传输协议
- 利用RSA填充方案改进Kerberos认证协议
- 2010年
- 利用Coron、Naccache等人提出的加密签名通用的RSA填充方案对Kerberos认证协议进行改进。对改进后的协议,用BAN逻辑验证其满足Kerberos协议的基本安全目标,并对其效率和一些新的安全特性进行了分析。
- 尹学永秦静曹永超
- 关键词：KERBEROS协议形式化分析
- 无线传感器网中基于动态簇的密钥管理方案
- 2012年
- 提出一种能根据路由节点的剩余能量动态选择簇头的低能耗动态簇组网模型,并设计了相应的密钥管理方案。与以往的密钥管理方案相比,该方案给出一种新型密钥链,能确保某个传感节点预置密钥的丢失不威胁其他节点的安全性;提出三种以Hash函数为主的轻量级密码协议,能以低能耗的方式完成网络节点间的认证与簇密钥的分配;给出密码协议安全性的形式化分析,确保了协议本身的安全性。分析表明,该方案能够支持网络的扩展,并具有较好的安全性。
- 刘月赵华伟
- 关键词：动态簇密钥管理方案密钥链形式化分析
