密码协议形式化分析方法研究

摘要

项目背景 南京邮电大学计算机系于2001年起，就对密码协议形式化分析方法研究课题向国家有关部门提出了申请。该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK2004218)、江苏省高技术研究计划(BG2004004)、国家高科技项目八六三(2004AA775053)、江苏省计算机信息处理技术重点实验室基金(kjs03061和kjs04)资助。该文对当前密码协议的主要形式化分析方法进行了总结和概述，依据其不足或缺陷提出了一些改进的思路，并探讨了密码协议形式化分析方法今后的发展趋势。