一种快速有效的水印图像几何失真校正算法

为解决水印图像在受到几何攻击后水印无法被有效检测的问题，利用图像的空域不变信息实现对水印图像几何失真的校正，提出一种快速有效的水印图像重同步算法，算法能够有效校正水印图像的旋转失真和放缩失真。实验证明，算法性能良好。     

一种针对加性空域掩密算法的通用掩密分析技术

为了提高通用掩密分析技术的检测性能，针对基于加性噪声的空域掩密技术设计了一种通用掩密分析算法，通过分析LSB、＋-k（k=1，3，5）和SM算法所引入的掩密噪声对图像差分直方图产生的影响，提出分别利用差分直方图分布的高阶统计矩和差分直方图曲线下特殊区域之间的面积比值作为分类特征的掩密分析特征选择算法，分别利用该算法和Farid的通用算法对由LSB、＋-k（k=1，3，5）算法掩密后的图像进行检测，实验结果表明，对于不同的嵌入消息比例，该算法的掩密检测率较Farid的算法都有了大幅度的提高。     

一个类似于Dedekind和的四次均值公式

利用Dedekind和的性质,Dirichlet L—函数的性质以及解析方法研究一个类似于Dedekind和的四次均值,给出了一个较精确的渐进公式。     

基于无证书公钥密码体制的身份鉴别方案

基于双线性加群G1上计算Diffie-Hellman问题的困难性假没下,采用无证书公钥密码体制密钥生成原理,首次提出了一个能有效抵抗重置攻击和冒充攻击的基于ID的身份鉴别方案,避免了基于身份的诸多方案所涉及敏感的密钥托管问题.最后在随机预言模型下给出了方案的安全性证明.     

非否认协议公平性分析的扩展串空间方法

针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题.     

可信环境下的WLAN接入认证方案

在第3版WLAN鉴别基础设施(WAI)协议的基础上,提出了基于预共享密钥模式和基于证书模式的可信环境下的WLAN接入认证方案.实现了站(STA)和接入点(AP)之间的双向用户认证和平台认证,且与第3版WAI协议后向兼容,其中鉴别服务器(AS)负责STA和AP的用户证书验证、平台证明身份密钥(AIK)证书验证和平台完整性评估,STA和AP的存储完整性度量日志(SML)是利用数字信封技术加密传输给AS的,从而有效地解决了可信WAI(TWAI)所存在的问题.此外,利用针对于可信接入认证协议的串空间模型,证明了它们是安全的.     

可证明安全的多信任域认证密钥协商协议

为解决采用基于证书认证方式的网络用户与采用基于身份认证方式的网络用户之间相互认证的问题,利用对称加密、数字签名和消息认证码等技术,首先构造一个认证链路模型下会话密钥安全的认证协议,然后设计消息认证器把该协议转换成非认证链路模型下的会话密钥安全的认证协议,并对该协议的安全性进行了分析.分析表明,该协议实现了不同认证方式的信任域中用户间的认证、密钥协商以及密钥更新,并在Canetti-Krawczyk(CK)模型下满足安全属性需求.此外,该协议仅需4次通信即可完成,且扩展性好,为不同认证机制的网络用户间认证提供了一种较为实用的解决方案.     

特征向量的LFSR序列分析中的应用

利用线性反馈移位寄存器（LFSR）的生成多项式的矩阵表示，通过对该矩阵的特征向量分析，给出了线性反馈移位寄存器输出结果的明确表达式。其中的系数完全依赖于初始输入值及其极小多项式的互反多项式的根，所得结果对LFSR的性质作了更进一步的揭示，比已知的结论更明确。     

用于无线移动网中的密钥协商方案

ad hoc网是一种新型无线移动网络，内部节点相互合作信任，但是没有中心控制节点，且节点的计算资源非常受限。针对如何在这种自组织群体中进行密钥协商，实现安全通信，提出了一种适合ad hoc网的认证密钥协商方案，每个节点仅需2n-2次模乘法运算，且仅需一轮通信，其中n是ad hoc网中的节点数。经对比该方案的效率远远高于现有方案。