节点文献

关于BAN逻辑的语义模型的分析与改进

On the Refinement for the Semantics Model of BAN Logic

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 Fei Dingzhou Deng Daqing(Institution for Logic and Cognition,Zhongshan University,Guangzhou510275)

【机构】中山大学逻辑与认知研究所；中山大学逻辑与认知研究所广州510275；广州510275；

【摘要】该文针对BAN逻辑及其语义模型的不足之处,提出了改进后的定义,它比BAN原作者们所提供的信念定义更加合理。更多还原

【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.更多还原

【关键词】 Authentication； logic； BAN逻辑；语义模型；
【Key words】 Authentication logic； BAN logic； semantics model；

【文献出处】计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2004年15期

【分类号】TP393.08
【被引频次】3
【下载频次】120

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献