简介:在这篇文章里,我们用双线性对构造了一种无证书的环签名方案.并证明它是无条件匿名的,且在随机预言模型中.计算性Diffie-Hellman问题是难解的,我们方案在适应性选择消息攻击下是存在性不可伪造的,它的安全性比在基于身份的公钥密码体制下高.本文首次用多线性形式构造了一个基于身份的广播多重签名方案,它的安全性是基于计算性Diffie-Hellman困难问题.
简介:本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含一个区间(-α,0),α〉0.此结果表明该主算子生成的C_0-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到:(i)该C_0-半群的本质增长界为0.从而,该C_0-半群不是拟紧算子.(ii)该模型的时间依赖解不可能指数收敛于其稳态解.(iii)该C_0-半群的本质谱半径等于1.
简介:考虑了一个具有内部物质对流和非线性边界热交换的多维连铸Stefan问题,并得到了这个问题整体弱解的存在性、唯一性和对初边界条件的连续依赖性。本项工作改进和推广了J.F.Fodri-gues&F.Yi的结果,放宽了他们对内部流和边界条件的一些不太符合实际的限制。