摘要
该文针对BAN逻辑及其语义模型的不足之处,提出了改进后的定义,它比BAN原作者们所提供的信念定义更加合理。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2004年第15期67-69,121,共4页
Computer Engineering and Applications
