基于口令的安全协议的模块化设计与分析

首先在分析基于口令的安全协议研究现状的基础上，提出了“弱计算不可分辨”概念，并以此为基础系统研究了基于口令的安全协议的理论基础——“弱伪随机性”理论；其次，以“弱伪随机性”理论为核心，建立了基于口令的安全协议的模块化设计与分析理论；最后，利用所建立的基于口令的安全协议的模块化设计与分析理论，设计了两类基于口令的安全协议，即基于口令的会话密钥分配协议和口令更换协议，这两类协议的最大特点是：实现效率高，具有可证明安全性，满足前向安全性。     

多输出m值逻辑函数的相关函数及其与谱的关系

首先讨论了剩余类环上多输出m值逻辑函数的相关函数的若干性质,然后给出了多输出m值逻辑函数的相关函数的概率表示式,最后得到了多输出m值逻辑函数的广义一阶Chrestenson谱与自相关函数之间的关系.     

非线性组合函数的最大相关分析

讨论了Ｂｏｏｌｅ函数与关于其变元的一个子集的所有Ｂｏｏｌｅ组合之间的最大相关性,给出了求Ｂｏｏｌｅ函数与关于其变元的一个子集的所有Ｂｏｏｌｅ组合之间的最大相关性的一个算法,探讨了Ｂｏｏｌｅ函数撮大相关性和互信息之间的关系,同时对平衡Ｂｏｏｌｅ函数和Ｂｅｎｔ函数的最大相关性进行了深入的研究。