一种新的类BAN逻辑模态语义模型--兼论类BAN逻辑的语法缺陷

• 作者: 周明天 谢鸿波
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 类BAN逻辑 模态逻辑 形式语义
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 人工智能与图像处理技术
• 页码范围: 198-201
• 页数: 4页
• 分类号: TP3
• 字数: 6820字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.01.055

摘要

由于类BAN逻辑缺乏明确而清晰的语义,其语法规则和推理的正确性就受到了质疑.本文定义了安全协议的计算模型,在此基础上定义了符合模态逻辑的类BAN逻辑"可能世界"语义模型,并从语义的角度证明了在该模型下的类BAN逻辑语法存在的缺陷,同时,指出了建立或改进类BAN逻辑的方向.