摘要
改进了一般安全协议模型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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2008年第4期523-528,共6页
Journal of Shanghai Jiaotong University
基金
国家杰出青年科学基金资助项目(60225012)
国家重点基础研究发展规划(973)项目(2003CB317005)
国家自然科学基金资助项目(60473006)
浙江省科技计划项目(2007C31009)
关键词
安全协议
匿名性
GSPM
security protocol
anonymity
generic model for the analysis of the security protocols（GSPM）
