| 关于BAN逻辑的语义模型的分析与改进 |
| |
| 引用本文： | 费定舟,邓达强. 关于BAN逻辑的语义模型的分析与改进[J]. 计算机工程与应用, 2004, 40(15): 67-69,121 |
| |
| 作者姓名： | 费定舟 邓达强 |
| |
| 作者单位： | 中山大学逻辑与认知研究所,广州,510275;中山大学逻辑与认知研究所,广州,510275 |
| |
| 摘 要： | 该文针对BAN逻辑及其语义模型的不足之处,提出了改进后的定义,它比BAN原作者们所提供的信念定义更加合理。
|
| 关 键 词： | Authentication logic BAN 逻辑 语义模型 |
| 文章编号： | 1002-8331-(2004)15-0067-03 |
On the Refinement for the Semantics Model of BAN Logic |
| |
| Fei Dingzhou Deng Daqing. On the Refinement for the Semantics Model of BAN Logic[J]. Computer Engineering and Applications, 2004, 40(15): 67-69,121 |
| |
| Authors: | Fei Dingzhou Deng Daqing |
| |
| Abstract: | This paper focuses on the remedy for the model of BAN,especially the part of beliefs,in addition to describing of the original BAN logic version.Authors think this refinement in semantics of BAN can give more reasonable expression than the authors and other discussions,for example,by GNY. |
| |
| Keywords: | Authentication logic BAN logic semantics model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
