论文部分内容阅读
Internet的发展给人们提供了通信和获取信息的自由，但同时Internet的开放性也使得网络通信遭受到更多的安全威胁。安全协议利用密码技术保证安全、真实的通信。根据不同的应用环境，安全协议必须满足不同的安全属性。因此，在安全协议的设计中，必须根据网络构造，分析其安全需求，设计满足需求的安全协议。加密和签名技术的发展为安全协议提供了计算复杂度和时间复杂度可选的不同方案；认证框架的发展使得安全协议可以利用不同手段进行身份认证；形式化证明技术帮助安全协议减少可能存在的安全漏洞。 本课题主要成果如下： 首先，分析B3G网络中移动IP注册过程中的安全要求，提出了移动IP安全注册协议。该协议利用对技术和基于身份的公钥认证框架，实现了通信过程中家乡代理、外地代理和移动节点三方之间的相互认证和密钥协商，同时保证了通信节点的身份保密性。 其次利用Kailar逻辑，发现了SIGMA协议的可否认性缺陷。基于D-H密钥交换，改进了这个缺陷，提出一个具有可否认性的认证的密钥协商协议，该协议可以在电子投票、电子协商、移动商务环境下，保护通信者的可否认性。 此外，提出了对形式化证明方法Kailar逻辑假设的一个改进方法，使得其能够更好地应用于安全协议的分析。