基于时延Petri网的密码协议分析及性能评估

• 作者: 张广胜
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 密码协议 形式化分析 时延Petri网 BAN逻辑 认证协议
• 年，卷（期）: 2003,（30）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 158-161
• 页数: 4页
• 分类号: TP393
• 字数: 4483字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.30.051

摘要

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议.该模型不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,文章对MSR无线协议作了详细的形式分析和性能评估.最后,与其它形式化分析密码协议的方法作了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广胜	山东科技大学信息科学与工程学院	4	31	4.0	4.0