可验证理性秘密共享方案

通过对参与者交互次数的设定,设计了一个可验证的理性秘密共享方案.该方案能够有效的阻止秘密分发者的欺骗,并使得参与者没有偏离方案的动机.通过对该方案的分析,证明了方案满足公平性、可行性和正确性等性质.     

李代数的张量积所确定的Leibniz代数

讨论了李代数(g)以及由这个李代数诱导的Leibniz代数(g)(×)(g)的一些性质,主要从不变双线性型和导子看这两个代数之间的差异,证明了在特定条件下两者的不变双线性型维数是一致的.为进一步确定李代数(g)和(g)(×)(g)的差异,讨论了由(g)(×)(g)诱导的一类重要的李代数(g)(×)(g);最后证明了,如...     

二元域上对称循环矩阵的非退化性

齐次旋转对称布尔函数与F2n在F2上的一类特殊正规基有着密切的联系,这类正规基的存在性依赖于二元域F2上n×n对称循环矩阵的可逆性.利用有限域上多项式的性质给出了F2上一类n×n对称循环矩阵的行列式计算公式,并由此得到一类特殊的可逆对称循环矩阵.     

Schr(o)dinger方程各向异性有限元超收敛分析

讨论了在半离散格式下的各向异性双线性元对Schr(o)dinger方程的逼近.首先利用该单元的特殊性质,在没有利用对网格正则性和拟一致假设的条件下得到了与传统方法相同的超逼近性质,然后基于插值后处理的技巧,构造出合适的插值算子,得到了整体超收敛的结果.     

一种基于椭圆曲线自双线性映射的多秘密共享方案

分析了Duo Liu等人提出的基于椭圆曲线自双线性映射的多秘密共享方案,发现该方案易遭受分发者/参与者欺诈攻击和广播窃听攻击,并依赖安全信道;提出了一种基于单向散列函数、密钥协商协议和动态多方Deffie-Hellman协议的改进方案,改进方案能抵抗分发者/参与者欺诈攻击和广播窃听攻击,并使方案摆脱对安全信道的依赖.最后对改进方案的安全性进行了分析.     

对适用于移动通信的代理签名方案的安全性分析

在代理签名方案中,允许一个原始签名者把他的签名权利委托给一个称为代理签名者的人,然后代理签名者就可以代表原始签名者进行签名.Lu等(Science in China Series F-Information Sciences,2008,51(2):183-195)提出了两个适用于移动通信的代理签名方案.尽管他们证明其方案在随机预言模型下是安全的,本文显示他们的方案是不安全的.     

本原t－纠错BCH码对偶的广义Hamming重量

讨论了本原ｔ－纠错ＢＣＨ码对偶的广义Ｈａｍｍｉｎｇ重量，并给出了关于迹方程的假设［ｔ，ｒ］，在这个假设下，可以精确给出此重量，作者猜想：当ｔ，ｒ给定且ｑ充分大时，［ｔ，ｒ］对有限域Ｆ＿ｑ成立．并证明了［２，２］在ｑ≥２~５时成立。     

具Hirota形式的Utt—Uxx＋V（u）=0型方程

本文证明了可以写成Hirota 形式的u_(?)-u_(?)+V(u)=0型方程只有两大类型.由此可以得到这两种类型的已知方程的Hirota 双线性方程组,并可验证其中有些方程没有二个孤立波解.     

Петровский意义下二阶线性椭圆组Dirichlet问题解的存在唯一性

本文利用Lax-Milgram定理,证明意义下具有常系数主部的两个自变数两个未知函数的二阶线性散度形椭圆型方程组Dirichlet问题解的存在唯一性定理.     

双线性离散广义系统的可解性和镇定性

文章讨论了一类双线性离散广义系统的全局渐近镇定性.基于LaSalle不变原理和隐函数定理同时给出了使闭环系统存在唯一解和全局渐近稳定的充分条件.此外,文章通过一个数值例子来证明了所给方法的有效性.