一个高效的无证书盲签名方案

提出了一个高效的无证书盲签名方案.在随机预言机模型下,证明了新方案在适应性选择消息、选择身份攻击下是存在不可伪造的,能够有效抵抗AⅠ攻击者的替换公钥攻击和AⅡ攻击者的KGC攻击.方案中在签名阶段没有任何双线性对运算,在验证阶段只有一个双线性对运算,并且不需要使用映射到点(Map to Point)的特殊哈希函数.与已有方案相比,所提方案在计算量上更具优势.同时方案采用无证书公钥密码体制,解决了基于证书签名方案的证书管理问题和基于身份签名方案的密钥托管问题.     

一类T-S模糊双线性关联大系统的鲁棒H_∞控制

针对一类带有外界扰动输入的模糊双线性关联大系统给出鲁棒H∞模糊控制方法.首先采用T-S模糊模型构建模糊双线性模型,然后利用模糊双线性模型逼近一类关联大系统,并根据Lyapunov方法和并行分布补偿算法设计模糊控制器,最后以线性矩阵不等式(LMI)的形式给出在模糊控制器作用下系统满足H∞性能指标的充分条件.仿真例子验证了所提出模糊控制器的有效性和可行性.     

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

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

基于身份的前向安全和可公开验证签密方案

针对具有前向安全性和可公开验证的签密方案进行研究,基于Liber 和Quisquater的签密方案,给出了一个新的签密方案,并对所提出方案的安全性和效率进行了分析.结果表明:文章给出的签密方案实现了同时提供前向安全性和可公开验证性;而基于身份公钥密码和双线性对技术,使该方案又具有密钥长度短和密钥管理简单的特点,使其具有与LQ签密方案相当的效率.这种高效性和高安全性签密方案的提出,不仅对相关公开问题的解决具有一定理论意义,同时文中签密方案能更好的满足电子商务等实际应用的高安全需求,因此也具有一定应用价值.     

一种高效的基于身份的无可信中心的数字签名方案

针对现有的基于身份签名系统存在的密钥托管问题,提出了一种高效的基于身份的无可信中心的签名方案。新方案的签名私钥由PKG和用户共同生成,从而解决了密钥托管问题。在随机预言模型下。新方案被证明能够抵抗适应性选择消息和身份的存在性伪造攻击。与其他基于身份的无可信中心的签名方案相比,新方案具有更高的效率。     

焦化塔双线性建模及变结构控制

给出了基于综合优化方法的双线性系统建模和变结构控制设计方法,并将此用于延迟焦化装置,建立了焦化塔双线性模型和变结构控制器,转好地解决了抖振问题,仿真结果表明这一方法是有效的。     

双线性系统状态反馈鲁棒控制的新方法

研究了存在扰动的一般双线性系统的非线性状态反馈控制方案及双线性系统进行状态反馈精确线性化的特点,结合线性系统鲁棒控制的研究成果及非线性系统输出稳定理论,给出了一种双线性不确定系统鲁棒控制的新方案,最后给出了设计示例。     

n-Lie代数的弱模与不变双线性型

定义了n-Lie代数的弱模及不变双线性型(定义1及定义2),讨论了n-Lie代数的模与Lie代数的模之间的关系,并且验证了n-Lie代数的模的对偶空间及张量积是n-Lie弱模,同时还并证明了n-Lie代数的不可约表示容许唯一的不变双线性型的条件(定理5及定理7).     

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

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

基于Weil对的(1,t)加密方案

给出了（1, t）加密方案的定义和两个有效可行的基于Weil对的（1, t）加密方案.提出的方案是基于双线性映射的. 椭圆曲线上的Weil对就是这种映射的一个例子.