安全协议的形式化描述和分析

机标关键词：安全协议、形式化描述、security protocols、security protocol analysis、identity authentication

所属期刊栏目：30

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

资助基金：国家自然科学基金90104026;国家高技术研究发展计划863计划2002AA144040;国家重点实验室基金

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

页数：共5页

页码：24-27,36