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

摘要：

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

机标关键词：密码协议、协议形式化分析、形式化分析方法、国家自然科学基金、江苏省、信息处理技术、计算机系、重点实验室、高科技项目、高技术研究、预研项目、研究课题、项目背景、发展趋势、资助、邮电、思路、缺陷、南京、大学

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：24-26