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

作　　者：王汝传[1] 

机构地区：[1]南京邮电大学计算机系

出　　处：《信息网络安全》2005年第7期24-26,共3页Netinfo Security

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

关 键 词：形式化分析方法 密码协议 计算机信息处理技术 国家自然科学基金 2001年 重点实验室 江苏省 计算机系 研究课题 研究计划 科技项目 发展趋势 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]