运用ASM描述安全协议

• 作者: 冯登国 薛锐
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 抽象状态机 密码协议 形式化方法 形式归约
• 年，卷（期）: 2002,（3）
• 页码范围: 263-270
• 页数: 8页
• 分类号: TP393
• 字数: 6090字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2002.03.007

摘要

介绍了抽象状态机(ASM)，建立了基于这种形式化方法的协议描述于验证的环境，并建立了一般意义上的入侵者模型.作为应用实例，给出了Helsinki协议的ASM规约，说明利用这个规约可以直观的演绎Horng—Hsu攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件所信息安全国家重点实验室	243	6305	35.0	71.0
2	薛锐	中国科学院软件所信息安全国家重点实验室	20	275	7.0	16.0