研究运用模型检测技术分析密码协议的理论与技术，提出适用的分析密码协议的方法、手段以及计算机辅助分析工具软件，分析典型密码协议：Kerberos认证协议、SSL协议和SET协议，制定密码协议设计的有关准则，设计适用于我国的密钥建立、电子商务等密码协议。本项目的研究将对促进我国信息化建设以及网络与信息安全研究具有重要意义。