10.3969/j.issn.1007-130X.2006.02.007
基于Petri网的密码协议分析
在Federico提出的一种密码协议进程语言的基础上,建立了便于进行密码协议分析的简化Petri网模型,给出了协议满足秘密性的充要条件,并以NS公钥协议为例,用Petri网模型,结合归纳方法和串空间分析方法从密钥、新鲜数和协议主体三个方面的秘密性分析了该协议的秘密性,简化了协议秘密性的分析.
Petri网、事件、秘密性
28
TP309(计算技术、计算机技术)
国家科技攻关项目863-307-7-5
2006-03-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
24-27