BAN逻辑与串空间的比较

• 作者: 仇细平 张云生 杨晓婕 缪祥华
• 来源期刊: 云南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: BAN逻辑 串空间 安全协议分析
• 年，卷（期）: 2008,（1）
• 页码范围: 72-75
• 页数: 4页
• 分类号: TP309
• 字数: 3234字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-8513.2008.01.018

摘要

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张云生	昆明理工大学信息工程与自动化学院	89	503	11.0	18.0
2	杨晓婕	昆明理工大学信息工程与自动化学院	3	2	1.0	1.0
3	缪祥华	昆明理工大学信息工程与自动化学院	23	24	3.0	3.0
4	仇细平	昆明理工大学信息工程与自动化学院	3	2	1.0	1.0