秦静
- 作品数：45 被引量：120H指数：5
- 供职机构：山东大学数学学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 奇数元布尔函数的构造及其密码学性质被引量：2
- 2002年
- 构造具有高非线性度且平衡的奇数元布尔函数是现代密码学研究的一个重要课题 .借助于函数的卷积 ,同时利用Bent函数 ,给出了一类奇数元布尔函数 ,并进一步讨论了这类函数的Walsh循环谱特征、自相关函数、重量特征、平衡性、扩散性、稳定性。
- 秦静
- 关键词：密码学性质布尔函数非线性BENT函数组合函数
- 半Bent函数的密码学特性被引量：4
- 2002年
- 给出了半bent函数的定义与Walsh谱特征 ,并讨论了其密码学特性 .
- 秦静赵亚群
- 关键词：BENT函数自相关函数
- DSA签名方案的一种变形及其安全性
- 2010年
- 在数字签名中,常常使用杂凑函数来代替随机预言产生"消息摘要"或"消息指纹",但是由于杂凑函数不能完全满足随机预言的性质(例如抗碰撞性),影响了这些数字签名方案在现实应用中的安全性。对于这种问题,Liskov提出弱杂凑函数的概念,在使用随机预言的基础上增加了一些辅助预言的预言模型。这些辅助预言的功能是返回破坏随机预言某种很强的性质的值,如返回第一原像。本文给出了DSA签名方案的一种变形,并应用Liskov提出的原像可追踪的随机预言模型证明了其正确性。相较原方案,我们的签名方案即使使用了影响原方案安全性的弱杂凑函数,仍是安全的。
- 乔贝吴晓晓秦静
- 关键词：杂凑函数
- 一个特殊的安全双方计算协议被引量：16
- 2004年
- 安全多方计算是近几年国际密码学界研究的一个热点问题。基于Φ-隐藏假设及同态公钥加密体制的语义安全性假设,给出了一个特殊的安全双方计算协议--保密比较协议,该协议同时确保公平性、安全性、有效性和顽健性,并使用安全多方计算对安全性的严格定义,对协议的正确性与安全性进行了证明。与先前工作相比,本文的方案更富有公平性、有效性和安全性。该文在网上投标、拍卖、电子选举等领域中有着广阔的应用前景。
- 秦静张振峰冯登国李宝
- 关键词：安全多方计算
- 关于二次非线性度达最大值的布尔函数的研究被引量：3
- 2002年
- 在密码学中 ,为抵抗二次逼近引入了二次bent函数、二阶Walsh谱与二次非线性度的概念 ,并得到了n元布尔函数的二次非线性度的最大值为 2 n -1-2 n/ 2 -1.二次bent函数的二次非线性度达到了这一最大值 .因此 ,二次bent函数既可以抵抗线性逼近又可以抵抗二次逼近攻击 ,是具有优良密码学特性的函数 .但本文利用矩阵运算、向量的内积运算及汉明重量证明了这类函数实际上是不存在的 .
- 秦静王爱云
- 关键词：布尔函数密码学
- 一个改进的代理盲签名方案被引量：6
- 2007年
- 通过对代理盲签名方案的分析,指出该方案不具有不可追踪性,攻击者可以原始签名者的身份再次发布代理公钥,代理授权阶段传输信道必须是安全信道,且原始签名者可以伪造代理签名者的盲签名等安全缺陷。针对这些安全缺陷,提出了一个新的代理盲签名方案,新的方案具有不可追踪性的特点,解决了攻击者再次发布代理公钥,代理签名者盲签名被伪造等问题,而且信息在非安全信道中仍可以安全传输,新的方案具有更高的安全性和实用性。新的方案可应用到电子现金等现实领域中,并给出了一个电子现金方案。
- 黄辉秦静李丽
- 关键词：代理签名盲签名代理盲签名不可追踪性
- SET协议的改进
- SET协议是当今最为流行的电子支付协议。本文首先回顾了SET协议的设计背景，介绍了SET协议的角色和工作流程，阐述了SET协议要达到的安全要求。在此基础上指出了SET协议所存在的不足，并提出了一些改进方案；最后对SET协...
- 张超秦静
- 关键词：SET协议安全性加密数字签名
- 一个盲公开可验证的矩阵乘积外包计算方案
- 2019年
- 基于可验证数据库,提出了支持盲公开可验证的矩阵乘积匿名外包计算方案,该方案满足对计算结果公开可验证,同时可以保护用户身份及数据的隐私,防止恶意云服务器的欺骗行为。给出的安全性分析说明了方案在随机预言机模型下是适应性选择消息安全的。方案使用摊销模型,以降低计算开销,并通过模拟实验证明,与已有方案相比本方案计算开销更小。
- 郑京竺杨海宁苏烨秦静
- 关键词：云计算矩阵乘积
- 一种时间相关的分析安全协议的扩展逻辑被引量：1
- 2005年
- 在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。
- 赵华伟李大兴秦静
- 关键词：形式化分析
- 一个基于混淆电路的选择性公开可验证外包计算方案
- 2018年
- 由于分析和处理数据对计算能力的要求越来越高,用户更多地选择将自己复杂的计算任务外包给服务器.本文研究了双服务器多用户场景下的外包计算,计算能力较弱的用户把他们的数据(x-1,···, x_n)作为函数f的输入,将计算f (x_1,···, x_n)的工作外包给两个不合谋的服务器S_1和S_2, S_2计算并返回结果, S_1使用指定用户的公钥执行加密操作为指定用户提供一个验证最终结果正确的证明.与已有的方案相比,本文方案满足选择性公开可验证性,即只有指定的用户可以使用自己的私钥验证返回结果是否正确并获得正确的结果,从而可以有效地防止敏感性数据信息被权限之外的人获知;还提高了用户的效率,并且不需要用户间和服务器间进行交互;此外,在某个服务器存在恶意行为的情形下本文方案满足所定义的隐私性和可靠性.本文方案可以避免在云环境中因信息泄露给用户带来损失,具有一定的现实意义.
- 杨海宁秦静孙加萌朱斌瑞
- 关键词：双服务器
