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

计算机科学 ›› 2006, Vol. 33 ›› Issue (1): 198-201.

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

谢鸿波周明天

电子科技大学-卫士通信息安全联合实验室,成都610054

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文受电子科学基金514500101DZ02课题资助.

XIE Hong-Bo, ZHOU Ming Tian （1.Information Security United Lab. of UESTC-WESTONE, Chengdu 610054）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

关键词: 类BAN逻辑模态逻辑形式语义 BAN逻辑语义模型语法规则缺陷计算模型安全协议定义

Abstract: For lack of explicit and definite semantics in BAN like logics, their correctness of syntax rules and reasoning is under suspicion. In this paper, a computing model for security protocols is defined. Based on it, semantics model about possible word of BAN

Key words: BAN-like logic, Modal logic, Formal semantics

谢鸿波周明天. 一种新的类BAN逻辑模态语义模型——兼论类BAN逻辑的语法缺陷[J]. 计算机科学, 2006, 33(1): 198-201. https://doi.org/

XIE Hong-Bo, ZHOU Ming Tian （1.Information Security United Lab. of UESTC-WESTONE, Chengdu 610054）. [J]. Computer Science, 2006, 33(1): 198-201. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed