安全协议匿名性形式化分析  

Formally Analyzing the Anonymity of Security Protocols

作　　者：宋琳[1] 蔡小娟[1] 

机构地区：[1]上海交通大学计算机科学与工程系BASICS实验室,上海200240

出　　处：《上海交通大学学报》2008年第4期523-528,共6页Journal of Shanghai Jiaotong University

基　　金：国家杰出青年科学基金资助项目(60225012);国家重点基础研究发展规划(973)项目(2003CB317005);国家自然科学基金资助项目(60473006);浙江省科技计划项目(2007C31009)

摘　　要：改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例,进行了匿名性分析的实例研究.A new framework—— GSPM^# was introduced, by improving the generic model for analyzing security protocols—— GSPM, which analyzes the anonymity property of security protocols in order to make up the drawbacks of GSPM. Event anonymity and data anonymity were defined in the framework GSPM^# with respect to different approaches. Finally, dining cryptographers protocol （DCP） and one of its variants were analyzed in this framework.

关 键 词：安全协议 匿名性 GSPM 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]