一种适于带时间戳安全协议的形式化分析方法

• 作者: 苏桂平 范玉涛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化分析 有色Petri网(CPN) 时间戳 安全协议
• 年，卷（期）: 2012,（36）
• 所属期刊栏目: 网络、通讯、安全
• 页码范围: 116-120
• 页数: 5页
• 分类号: TP393
• 字数: 3207字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1105-0379

摘要

提出了一种适用于带有时间戳的安全协议的有色Petri (CPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素.对著名的WMF协议建模,利用CPN Tools,采用CPN ML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞.应用分析结果表明该方法有效,且操作简单容易理解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏桂平	中国科学院研究生院信息科学与工程学院	24	238	8.0	15.0