不可强迫的电子拍卖方案

竞价保密的电子拍卖方案是一种只揭示中标价格,而保证其他价格都不被揭示的拍卖方案.文章关注电子拍卖方案的不可强迫性.首先,给出不可强迫性的定义.其次,给出一个满足不可强迫性的竞价保密拍卖方案.     

密码学教材改革初探

本文针对密码学教材的现状,指出了其中存在的主要问题,并提出了一些相应的改进措施,从密码学教材的定位、目标性以及扩展性等方面提出了改进思路。     

安全加密的环签名混淆器

构造了一个安全的混淆器来实现对特殊的加密的环签名功能的混淆。这个特殊的加密的环签名功能是由waters的环签名方案和线性加密方案组合实现的。在标准模型下,构造的混淆器满足有关联预言的平均情况虚拟黑盒性质(ACVBP w.r.t.dependent oracles)。有了这个性质,即使敌手在获得混淆后的具有加密的环签名功能程序,环签名依然是匿名的和不可伪造的。     

一种高效的基于 Fiat-Shamir 认证协议的陷门哈希函数

陷门哈希函数在2000年由Krawczyk和Rabin正式描述.它是一种带有陷门密钥的哈希函数.陷门密钥的作用在于寻找函数的"碰撞".陷门哈希函数是构造变色龙签名协议和在线/离线签名协议的关键构件.现有的陷门哈希函数在计算函数值或者在寻找碰撞的运算中,均为指数运算复杂度.基于Fiat-Shamir认证协议,文章构造了一种新的陷门哈希函数.新的构造具有乘法运算复杂度,因此,大大提高了陷门哈希函数的效率.     

一种高效的防丢包的实时数据流认证方案

在不安全的网络上进行实时数据流的认证,认证速度和防止丢包能力是两项关键的指标.文章运用哈希链技术和改进的在线/离线签名技术,构造了在线复杂度为O(t2),防丢包能力为λ-1的认证方案.这一新方案极大地提高了实时阶段的效率,因此特别适合于在容易丢包的网络上对实时数据流进行认证.     

调和Bergman空间上特殊符号的Toeplitz算子

讨论了单位圆盘上调和函数组成Bergman空间,即调和Bergman空间上符号为径向函数(即只与自变量模相关的函数)的Toeplitz算子。得到Toeplitz算子的有界性与符号函数相关数列有界性等价,紧性与这个数列收敛到0等价。并用这个数列表出了Toeplitz算子的点谱和谱。     

CCA安全的可否认加密:修正版

可否认加密是一种可以通过揭示虚假明文以欺骗攻击者的加密方案.在INSPEC 2012,基于FEHR等人的非承诺加密方案,高崇志等构造了在强可否认模型下具CCA安全的可否认加密方案.但是,HUANG等在PKC 2013指出,高崇志等的可否认加密方案和FEHR等在EUROCRYPT 2010的非承诺加密方案均存在有证明漏洞.文章基于HUANG等人的技巧,给出了高崇志等在INSPEC 2012方案的修正版本.