强安全无证书可验证加密签名方案

基于无证书的数字签名体制克服了基于身份密码系统固有的密钥托管问题,其完整的私钥由用户和可信第三方共同产生.可验证加密签名是对普通签名的一个扩展,是用一个指定的公钥去加密一个签名,并随后证明密文中确实包含一个签名,广泛应用于在线合约签署.本文将Chen等[1]提出的基于无证书签名方案与可验证加密签名的优点相结合,构造了一个强安全无证书可验证加密签名方案.     

可任意设置托管代理数量及权重的密钥托管方案

基于ElGamal体制设计了一种可任意设置托管代理数量及权重的密钥托管方案,该方案既考虑到部分托管代理数目的灵活性,又考虑到托管方的权重问题,可以有效地防止阈下信道攻击和部分托管代理的主动破坏,同时解决了"一次监听,永久监听"问题.     

代理密钥传送分析

结合身份认证,给出了两个可以在公开信道上传送代理密钥的方案.在所给的方案中,原始签名人Alice能够确认接收到代理密钥的就是其拟定的代理签名人Bob.     

改进的Internet环境下的认证及密钥分配

提出了一种新的适用于Internet网络环境的认证及密钥分配方案.文[7]中为了防止"重传"攻击,要求网上的时钟基本同步,这在实际中是一个非常困难的问题,基于此,本文提出了一个简单有效的方法,增加了通信双方的临时标识和响应者标识,从而在根本上解决了重传攻击,避免第3方假冒攻击.     

无证书部分盲签名方案

无证书公钥密码学是由Al-Riyami和Patenson在2003年的亚洲密码学会议上新提出来的密码学原型,它克服了基于身份公钥密码系统的密钥托管问题和基于证书公钥密码系统的证书管理问题部分盲签名是一种特殊的数字签名,在部分盲签名中,签名者不知道其所签消息的内容,但可以嵌入一个公共信息．本文提出一个无证书的部分盲签名方案,该签名方案是利用双线性对来构造的,其安全性基于计算性Diffie-Hellman困难问题．     

基于双线性对的可验证的门限签名方案

基于椭圆曲线上的双线性对函数,提出一个新的门限签名方案.该方案有如下特点:利用Shamir秘密共享技术共享一个用户的私钥,而不是共享密钥管理中心生成的主密钥;具有椭圆曲线密码体制的"短密钥,高安全性"的特点;双线性对的出现减少了计算量使得系统更加简单有效;利用Gennaro可模拟的思想,证明了提出方案具有健壮性和不可伪造性.因此具有较高的安全性和实用性.     

两类"称球问题"的统一非序列解

讨论称球问题的两个版本,通过综合文中华[湘潭大学自然科学学报,2004,26(1):42-48]和Born[InformationProcessing Letters,2003,86:137-141]的研究结果,给出一种可同时用于解决两个问题的通用算法.算法生成的方案是非序列的,且对于这两个版本而言都是最优的.     

图模型中的抗欺骗秘密共享方案

利用图结构提出了一个抗欺骗秘密共享方案,该方案是在原有方案基础上,重新定义了一个访问结构,使得授权参与者个数更具有一般性;共享分发阶段,在每个参与者保存的共享中,任何子密钥都没有单独出现,出现的只是子密钥的差,增加了方案的安全性;同时引入非线性置换,在一定程度上能够抵抗不诚实参与者的欺骗行为.     

一个常数对基于证书聚合签名方案

基于证书公钥密码体制是新近提出的一类新型公钥密码体制,它克服了基于身份密码体制的密钥托管问题和传统公钥密码体制下的证书管理问题。聚合签名是一种可将不同签名者对不同消息的签名聚合成一个单一签名的数字签名技术。然而,在聚合签名的验证过程中,随着聚合人数的增加,运算量也线性地增加。本文利用双线性对和Computational Diffie-Hellman困难性问题构造了一个常数对运算基于证书的聚合签名方案。     

可选子密钥的秘密共享方案

1979年,Sham ir和B lakley分别独立地提出了密钥分散管理的思想后,人们又提出了很多方案来实现它.目前已有的秘密共享方案多是由系统为每个成员分配子密钥,这给实际应用带了许多不便.本文给出了一个可以重复使用子密钥并且可以由子密钥持有者自主选择子密钥的(k,n)-门限方案.     

一个新的无证书不可否认签名方案

无证书密码体制（CL-PKC）是新近提出的一类新型公钥密码体制.它保持了基于身份的密码体制（ID-PKC）不需要使用公钥证书的优点,又较好地解决了基于身份的公钥体制所固有的密钥托管问题.对无证书体制下安全高效的签名方案的研究是受到高度关注的研究课题.本文用双线性对和零知识证明协议,构造了一种新的无证书不可否认签名方案.     

基于证书指名签名方案

基于证书公钥密码学是Gentry在Eurocrypt 2003上首次提出的,它克服了传统公钥系统中存在的证书管理问题和基于身份公钥系统中存在的密钥托管问题.为了防止签名被滥用,Kim等人提出指名签名体制,在这里只有签名接收人才能验证和向第三方证明签名的有效性,即使是签名人也不能验证或证明签名的有效性,签名的使用完全由签名的接收人控制.将基于证书签名和指名签名相结合,本文提出一个基于双线性对的基于证书指名签名方案.     

关于集值化Benson真有效解的最优性条件的注记

本文给出一个反例说明文献[1]中的主要结果即定理2．1和定理2．2是错误的,进而说明该文中的定理2．3的证明不正确;然后给出定理2．3的一个正确的证明．同时指出文献[1]中的对偶定理3．4是不正确的．     

离子液体[C6 mim][PF6]和[C8 mim][PF6]的热力学性质研究

为了测定离子液体的热力学性质,首先合成了离子液体[C6mim][PF6](六氟磷酸1-甲基-3-己基咪唑)和[C8mim][PF6](六氟磷酸1-甲基-3-辛基咪唑)。利用热重分析仪测定了[C6mim][PF6]和[C8mim][PF6]的分解温度,在293.15～338.15K范围内,用表面张力仪测定了离子液体[C6mim][PF6]和[C8mim][PF6]的表面张力,并用密度计仪测定了这两种离子液体的密度。讨论了离子液体的热膨胀系数,表面熵,表面能及晶格能等。实验及计算表明,六氟磷酸盐离子液体的分解温度比较高,且热膨胀系数在6×10-4左右,热膨胀率较低。相对于离子化合物离子液体表面熵表面能较小,接近有机物。与传统无机物相比,离子液体晶格能较小。     

一个猜想的证明及推广

本文论证了Stanvgon在[1]中提出的一个猜想．并且加以推广，得出了一般性的结论，文[1]中的猜想仅是本文推论的特殊情况．     

有扭仿射李代数一类模的结构

利用生成函数的方法证明烈g^[σ]-模范畴E中有限维不可约模为形如U1（z1）×…×Ur（zr）的赋值模．     

Banach空间中的不动点

本文主要研究完备的线性赋范空间，（即Banach空间）中的不动点问题，文献[1]、[2]讨论了两个完备的度量空间之间的不动点问题，文献[3]讨论了紧度量空间中连续自映射的不动点问题．本文在上述结果的基础上，给出了完备的线性赋范空间中的一个自映射在满足一定的条件下不动点的存在性与唯一性问题，给出了一个新的不动点定理．