一种安全的公共认证电子拍卖方案

利用Bit承诺,单向函数和数字签名算法,对一种安全电子拍卖模型进行改进,提出了一种安全、简单、高效的密封式电子拍卖方案.它可以在注册中心离线的情况下,最大程度地缩小拍卖行的权力实现公共认证.同时,该方案不仅能对除中标者外的其他所有投标者的投标价进行保密,而且能有效防止拍卖行不诚实的行为.     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

基于Brands体制的强不可伪造电子货币系统

针对Brands电子支付体制在电子货币被重复使用时所存在的安全漏洞,即获取同一电子货币不同支付信息的攻击者可以以用户的身份重复使用该货币,通过引入知识的零知识证明以及概率加密等工具,提出了一个新的公正电子货币系统的设计方案,实现了在货币被重复使用时的强不可伪造性。同时该系统即使在银行或用户密钥被泄露时,仍然可以保证整个系统的安全性。其安全性基于随机Oracle模型和限制性盲签名假设。     

基于广义可验证秘密分享的RSA门限签名方案

基于无条件安全的广义VSS协议和RSA给出了一种新的安全门限签名方案。该方案既具有依赖承诺安全性的验证功能，又适用于任意的访问结构，与已有文献[1]的RSA门限签名方案相比，具有更强的安全性和更广泛的适用性。     

第二型优化正规基Lambda矩阵的快速计算

文章通过对第二型优化正规基Lambda矩阵所涉及的同余方程组进行优化并采用合理的预计算方法,实现了对第二型优化正规基Lambda矩阵的快速计算。与通常方法相比可以减少近一半的运算时间。     

关于强RSA问题的几个注解

强RSA问题作为RSA问题的进一步发展,其难解性已经被广泛接受。本文对强RSA问题的解的个数进行讨论,并在此基础上提出了几个难解性不低于强RSA问题的新问题。     

匿名代理的理想实现

通过将限制性盲签名技术以及知识的零知识证明等工具引入代理签名，构造出在合理安全性假设下可证安全的新匿名代理协议。其特点在于：①通过限制性盲签名来确保代理签名中包含关于代理签名人身份信息的ElGarnal密文，以保证在发生争议时可以有效地揭露代理签名人的身份；②利用知识的零知识证明确保只有合法的代理签名人才能完成代理签名。同时还证明了其满足可验证性、强不可伪造性、强不可否认性等其他安全性要求，从而很好地解决了匿名代理的一系列安全相关问题。     

“灵活”的滑动窗口算法及其计算量的估计

通过对预存储空间的充分利用,首先给出了一种"灵活"的滑动窗口算法,然后对该算法所涉及的整数表示方法的汉明重量进行了仔细的估计.通过与原有滑动窗口算法、m-ary算法的平均模乘次数的比较,最后得出"灵活"的滑动窗口算法在基本保持原有滑动窗口算法计算复杂度的同时,克服了原有算法中对预存储空间的限制.     

基于身份的代理批量签名

利用椭圆曲线上的双线性映射和基于身份签名的思想,提出基于身份的代理批量签名方案。该方案兼具代理签名和批量签名的优点,可以有效地防止授权人冒充代理人对消息进行签名,代理人可以实现多个消息的一次签名,且每条消息能够独立地进行验证。实验表明,该方案在效率、安全性等方面都有了明显的提高。     

基于Stackelberg攻防博弈的网络系统安全控制机制优化研究

企业级网络中存在的漏洞日益增多,给公司网络系统安全控制机制的优化选择带来了巨大挑战。本文通过对企业网络中漏洞之间的复杂依赖关系进行建模,构建了漏洞依赖图,并在此基础上建立了Stackelberg攻防博弈模型。同时考虑到传统求解方法无法求解实际的问题规模,引入双模块算法。实验结果表明,本文提出的模型和方法是可行的、高效的。