Andrew Secure RPC协议的一种组合分析方法

• 作者: 刘跃军 杨强 王红旗
• 来源期刊: 四川理工学院学报（自然科学版）
• 学科: 工学
• 关键词: 逻辑方法 模型检验方法 组合方法 Andrew Secure RPC协议
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 信息与计算机科学
• 页码范围: 43-46
• 页数: 4页
• 分类号: TP311
• 字数: 2439字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-1549.2008.04.017

摘要

逻辑方法和模型检验方法是安全协议的两种重要分析方法.逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例.先用BAN逻辑对Andrew Secul RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王红旗	四川理工学院计算机科学系	14	49	4.0	6.0
2	刘跃军	四川理工学院教育系	12	102	6.0	10.0
3	杨强		2	1	1.0	1.0