Formal method for the analysis of security protocols

被引：0

作者：

Lu, Laifeng ^{[1
]}

Ma, Jianfeng ^{[2
]}

机构：

[1] Ministry of Education Key Laboratory of Computer Networks, Information Security Xidian University, No. 2, South Taibai Road, Xi'an 710071, China

[2] College of Mathematics and Information Science, Shaanxi Normal University, No. 199, South Chang'an Road, Xi'an 710062, China

来源：

ICIC Express Letters | 2011年 / 5卷 / 10期

关键词：

Helsinki - PCL - PDS - Protocol analysis - Security protocols;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：3785 / 3789