基于PKI的SSL协议的描述及安全性分析

通过对PKI技术和SSL协议的分析,提出了基于PKI的SSL协议并对其进行了描述和系统的安全性分析。与传统的SSL协议相比,基于PKI的SSL协议具有强鉴别的身份认证功能和更高的安全性。最后进一步指出了目前基于PKI的SSL协议的应用前景。     

公开锁密码协议的可靠性研究

本文综述了公开锁密码体制目前的研究概况,叙述了公开锁协议的形式化描述,并从协议的安全性、协议的可鉴别性和协议的可校验性等三个方面对公开锁密码协议的可靠性进行了研究。     

一种匿名口令鉴别构件系统

作为隐私保护的重要手段,匿名鉴别机制引起了各界的广泛关注,口令鉴别作为应用最广泛的鉴别方式,研究设计仅依赖于口令的匿名鉴别系统具有重要意义.在此背景下,国际标准化组织ISO/IEC JTC1/SC27启动了ISO/IEC20009-4标准项目,专门针对基于口令的匿名鉴别机制开展标准化工作,目前收录了三种匿名口令鉴别协议.本文基于该标准中的SKI协议研究设计了一种匿名口令鉴别构件系统,同时系统可支持标准中收录的其它两种协议.本文针对该构件系统的安全性、匿名性以及性能方面进行了系统的分析设计,从系统初始化、匿名分组构建到标准协议执行等各环节进行了安全保护,填补了标准本身到实际应用的差距.本文主要解决了SKI协议应用时面临的安全及效率问题,包括:协议中“公告板信息不一致”将导致合法用户认证失败、群组公告信息的“首次请求”面临超长等待延时等问题.构件系统通过引入“双重公告信息”、“请求绑定会话”、“Cache机制”等多种手段解决了上述问题.最后,我们对匿名口令鉴别构件系统的性能进行了实验分析.目前尚未见国内外同类系统被提出.     

一个应用于IPSec的综合鉴别模型

本文在介绍IPSec的基础上，对广泛使用的Kerberos鉴别协议和X509协议进行了介绍，并对大规模部署：IPSec时的鉴别问题进行了讨论，通过对IKE和Keberos的协议改进，提出了一个综合鉴别模型PAI。     

公开密钥协议的可鉴别性

本文研究了公开密钥协议的防假冒问题,分析了一个不会泄漏消息但可导致假冒出现的协议实例,给出了假冒行为的形式化描述并提出可鉴别协议的概念及形式定义,证明了一个实用协议的安全性(包括机密性和可鉴别性)及可鉴别协议的有关性质.最后,给出了一个协议可鉴别性的判定算法.     

一种WLAN的新安全标准CCMP协议

新一代WLAN安全标准IEEE 802.11 i定义了三种协议来保护数据的传输,这三种协议增强了WLAN中数据的加密和鉴别性能,取代了IEEE 802.11 WEP方案。CCMP协议是数据保密协议之一。CCMP协议使用基于AES的加密算法和CCM加密鉴别模式,在软件和硬件实现上都提供了很好的安全性能。     

SRP协议及其安全改进

SRP(安全远程密码协议)是一种安全的新型密码鉴别和密钥交换协议。由于采用了鉴别符而不是密码的明文等价，攻击者即使得到了鉴别符数据库也难以破坏系统的安全性。同时，协议也提供了完善的向前保密性(PFS)，能抵抗主动或者被动的字典攻击。但是SRP未充分考虑到协议信息被篡改的情况，如果对此不做改进，系统将无法抵抗主动式拒绝服务攻击。因此提出了一种改进措施，提高了SRP协议对技主动式拒绝服务攻击的能力。     

eXtended Triple Diffie-Hellman协议的安全性分析

针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题，使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先，在Types部分对协议涉及到的通信实体进行了建模；然后，在Knowlegde部分规定了各通信实体的先验知识；其次，在Actions部分对协议的协商流程进行了建模；最后，在Goals部分对协议的机密性、完整性、双向鉴别性等安全目标进行了建模。实验结果表明，X3DH协议作为Signal协议的核心，实现了密钥协商协议所要求的机密性、完整性、双向鉴别性等安全目标，并且形式化分析工具既可以减少工作量，又可以发现人工不易发现的协议漏洞，从而更加全面、高效地验证协议的安全性。     

一种新的身份鉴别协议与对应的数字签名方案

利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

图书馆RFID安全认证协议

分析了RFID技术的安全性问题,构建了图书馆RFID系统的安全模型,设计了一个确保图书馆RFID系统安全性的认证协议PA-Lock协议,以解决标签与读写器之间的保密和双向鉴别问题。最后,对PA-LOCK协议进行了安全性能分析并与其他协议做了比较,证明了该协议的安全性和高效性。