有限自动机化合的一些结果

主要讨论了有限自动机的化合与化合前两个有限自动机的弱可逆性,严格延迟步数,弱逆以及线性的一些关系.

一个新的基于身份的聚合签名方案

聚合签名由Boneh等人提出,主要是通过聚合多个签名为一个签名,来提高签名与验证的效率。提出一个新的基于身份的聚合签名方案。与Xu等人的同类方案相比,新方案在签名和验证时各少一次对运算,显著提高了计算效率。在Computational Diffie-Hellman(CDH)问题困难性假设下,提出的聚合签名在随机预言机模型下能抵抗存在性伪造攻击。此外,针对最近由Chen等人提出的聚合签名方案给出一种攻击方法,指出其不能抵抗存在性伪造攻击。

一个具有前向保密性的高效签密方案

在修改标准数字签名算法DSA的基础上,设计了一个新的具有前向保密性的签密方案,与此前的方案相比,新方案具有较高的通信效率,在假设CDH问题是困难的情况下,给出了新方案在随机预言机模型下的安全性证明。

施密特正交化的几何构建与代数刻画

本文从几何空间中向量正交化的构造出发,分析了施密特正交化方法的几何构建过程以及推广到高维上的基本思路和底层逻辑,深化了对其几何意义的认识;借助齐次线性方程组解的理论和正交的代数表示,从代数的角度全新推导出其正交化公式,展示了几何问题代数化处理的转化思想.同时也讨论了一些非施密特正交化方法.

基于身份可公开验证的签密方案

本文基于Paterson的签名方案,设计出一个新的可公开验证的签密方案,仅需要两次对运算,是目前已知的基于身份的签密方案中效率最高的。在随机预言机模型下,新方案被证明是存在性不可伪造抗适应性选择消息攻击和身份攻击安全。此外,对李发根等人所设计的一个签密方案进行密码学分析,指出该方案不是语义安全的。