关键词：安全协议、设计、分析、形式化方法

所属期刊栏目：14

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

资助基金：国家自然科学基金60083007;国家重点基础研究发展计划973计划G1999035810

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

页数：共13页

页码：1740-1752