类BAN逻辑基本模型及缺陷

• 作者: 左英男 戴英侠 许剑卓
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 密码协议 BAN逻辑 缺陷
• 年，卷（期）: 2000,（12）
• 页码范围: 1660-1665
• 页数: 6页
• 分类号: TP393
• 字数: 6019字
• 语种: 中文

摘要

类BAN逻辑是一种用于分析密码协议安全性的逻辑.在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类BAN的模型抽象出来,形成一个五元组模型,然后分析该模型的各个要素,并依据该模型对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题.