一种高效的基于身份代理环签名方案

在代理签名方案中,原始签名者将签名权利委托给代理签名者,代理签名者代表原始签名者进行消息签名。环签名方案中,验证者只能确信签名来自某个环成员,但无法确定签名者的具体身份。结合代理签名和环签名的优点,提出一个高效的基于身份代理环签名方案,新方案可以严格满足代理环签名的安全特性,相比现有的其它方案,具有更高的计算效率。     

在标准模型下格上基于身份的代理环签名

基于固定维数的格基委派算法和盆景树模型,在标准模型下构造了一个无可信中心的格上基于身份的代理环签名。其安全性是基于小整数解问题(small integer slution, SIS)的困难性。在标准模型下实现了代理签名者的完全匿名性和选择消息攻击下的强存在不可伪造性。与现有的基于格的代理环签名方案相比,新方案具有更高的安全性和计算效率。     

有效的基于身份的代理环签名方案

以往的代理环签名有一个共同的缺陷,即签名生成和验证需要时需要太多的对运算,而大大影响了效率,提出了一个有效的基于身份的代理环签名方案.该方案在签名生成时不需要对运算,在签名验证时无论用户有多少,仅需两个对运算,因此比以往的方案更有效.由于其具有环签名和代理签名两者的优点,在代理签名者想代表原始签名者,同时需要提供匿名性时是非常有用的.     

基于身份的指定验证人代理签名方案

代理签名使原始签名者可以将其签名权利委托给代理签名者,从而代表原始签名者签名指定的消息.文章利用椭圆曲线上的双线件对性质,基于指定验证人签名和代理签名思想,提出了一个新的基于身份的指定验证人代理签名方案.该方案既具有基于身份签名的优点,又具有指定验证性,且安全性好.     

基于身份的具有已知签名人的门限代理签名方案

利用椭圆曲线上的双线性设计了一个安全、高效、不可否认的基于身份的具有已知签名人的(t,n)门限代理签名方案.该方案不但满足一般具有已知签名人的门限代理签名的安全需求,也保留了用椭圆曲线上的双线性对构造的基于身份的签名方案的优势.此外,该方案还具有代理群对授权之事一致认同,由代理签名人生成的代理签名无论是实际签名人、原始签名人还是代理群都不可否定该签名的有效性.     

一种基于身份的门限盲代理盲签名方案

为了提高代理盲签名的实用性及安全性,结合秘密共享体制,在基于身份的密码体制下,提出一种新的盲代理盲签名方案.本方案中,我们将盲签名和代理签名结合,使得到的盲代理盲签名方案具有代理签名的权力委托和盲签名的消息匿名性和不可追踪性等特点;同时对代理签名者进行盲化,使得任何人不能从签名中知道代理签名者的身份.在基于身份的密码体制下,引入秘密共享机制,很好的防止了代理签名者权力滥用的问题.本方案具有更好的灵活性、更高的安全性等特性.     

可验证的代理环签名方案

把代理环签名与可验证环签名结合起来, 提出了一个可验证的代理环签名方案. 此方案不但具有代理环签名的性质:正确性、无条件匿名性、不可伪造性、可区分性, 而且在需要的时候, 真实的代理签名者还可以向验证者证明自己的身份;同时方案的双线对的计算开销从O(n)降到了O(1), 有效性提高了.     

一种基于身份的代理门限环签名方案

在门限环签名体制中,任何t个或者多于t个环成员可以代表整个环产生一个有效的环签名,代理签名能够实现签名权利的委托.基于双线对难解性的问题,提出一个安全的代理门限环签名方案,少于t个代理环成员无法生成一个有效的代理门限环签名,验证者只能确定代理签名人来自某个环,无法获知代理签名人的身份信息.该方案满足匿名性,并在CDHP问题困难的前提下,满足适应性选择消息攻击下的不可伪造性.     

在标准模型下安全的基于身份的代理签名方案

代理签名允许原始签名人把他的签名权委托给代理签名人, 这样代理签名人能够代表原始签名人对消息进行签名. 代理签名可以应用到许多领域, 例如分布式系统, 网格计算和移动代理等. 将代理签名与基于身份的密码学结合起来, 人们提出了一些基于身份的代理签名方案, 可是它们的安全性证明都是在随机预言模型下获得的, 这样它们在现实环境中不一定是安全的. 利用Paterson等的基于身份的签名方案构造了一个基于身份的代理签名方案, 并在标准模型下基于计算Diffie-Hellman假设证明了它的安全性.     

新的无证书的门限代理签名方案

门限代理签名是代理签名与门限签名结合产生的签名体制,具有分配代理签名权力和分散代理密钥的优点.无证书密码体制既保持基于身份的密码体制不需要使用公钥证书的优点,又较好解决基于身份公钥体制所固有的密钥托管问题.文章将无证书签名方案和门限代理签名方案结合,提出一个新的无证书门限代理签名方案,新方案具有安全、高效的特性.     

An attribute-based ring signature scheme in lattice

An attribute-based ring signature scheme in lattice was proposed in this paper. In this signature scheme, an entity’s attributes correspond to the columns of a lattice matrix, and the signature was generated by using a subset of these attributes. The entities possessing these attributes form a ring. The scheme is computationally efficient than the schemes based on the integer factor problem and discrete logarithm problem, furthermore it is still secure in quantum computing environment.     

分配幂格的判断条件

从格的提升引入一个幂格的概念，也获得了一些与格相似的性质。在此基础上进一步地讨论了幂格的性质，得到了分配格上的幂格也是分配格的一个判断条件。     

关于模格,分配格充要条件的严格推证

本文在离散数学的范围内,从格、子格、模格、分配格的定义,格的运算性质出发,充分利用两个特殊的五元格,对有关格是模格、格是分配格的充分与必要条件的五个定理作出严格的推证。     

基于格型矢量量化的小波零树图像编码方法

把格矢量量化与小波零树编码相结合,提出了一种小波矢量零树图像编码新方法,其性能优于已报道的格型矢量量化小波图像编码方法和最成功的小波零树图像编码方法,而且其复杂度远低于已报道的格型矢量量化小波图像编码方法。实验结果证实了方法的有效性。     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上，证明了偶序对〈R，～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格，而且可构成正则剩余格和MV-代数。     

Lattice Boltzmann method and its applications in engineering thermophysics

The lattice Boltzmann method （LBM）, a mesoscopic method between the molecular dynamics method and the conventional numerical methods, has been developed into a very efficient numerical alternative in the past two decades. Unlike conventional numerical methods, the kinetic theory based LBM simulates fluid flows by tracking the evolution of the particle distribution function, and then accumulates the distribution to obtain macroscopic averaged properties. In this article we review some work on LBM applications in engineering thermophysics： （1） brief introduction to the development of the LBM; （2） fundamental theory of LBM including the Boltzmann equation, Maxwell distribution function, Boltzmann-BGK equation, and the lattice Boltzmann-BGK equation; （3） lattice Boltzmann models for compressible flows and non-equilibrium gas flows, bounce back-specular-reflection boundary scheme for microscale gaseous flows, the mass modified outlet boundary scheme for fully developed flows, and an implicit-explicit finite-difference-based LBM; and （4） applications of the LBM to oscillating flow, compressible flow, porous media flow, non-equilibrium flow, and gas resonant oscillating flow.     

基于格的代理签名方案

利用原像采样单向陷门函数和盆景树下格的扩展及格基的随机化方法,基于格构造了一个代理签名方案.在随机预言机下,基于平均情况的小整数解问题SIS(Small Integer S0lution)和非均匀小整数解问题ISIS(Inhomogeneous Small Integer Solution)的困难性假设,证明该方案在适...     

用于Beltrami流的格子Boltzmann算法

给出Beltrami流动中流体质点位移的格子Boltzmann算法. 引入Beltrami涡流的概念, 并给出涡量和速度的结构. 应用格子Boltzmann算法模拟Beltrami流的Arnold-Beltrami-Chidress(ABC)解.     

用格子Boltzmann方法模拟正弦曲线底边方腔内流动

采用格子Boltzmann方法数值模拟正弦曲线底边方腔内 流动, 分析了格子Boltzmann方法处理曲线边界的特性. 在曲线边界的处理中采用二阶精度的曲线边界处理方法, 将反弹格式和内插法相结合, 计算方法可靠、 准确且易于执行. 计算了流线图、 等涡线图和涡心位置, 并分析了流场随Re数的变化.     

MK方案中U(1)模型的弦张力和Callen-Symanzik函数

在Migdal-Kadanoff重整化群变换方案下,我们导出了U(1)格点规范理论的弦张力表式。通过重整化群轨迹的数值计算,我们得到了Callen-Symanzik函数,其结果与连续时空中的微扰论的结果相符。