%0 Journal Article %T 一种新的类ban逻辑模态语义模型——兼论类ban逻辑的语法缺陷 %A 谢鸿波 周明天? %J 计算机科学 %D 2006 %X 由于类ban逻辑缺乏明确而清晰的语义,其语法规则和推理的正确性就受到了质疑。本文定义了安全协议的计算模型,在此基础上定义了符合模态逻辑的类ban逻辑“可能世界”语义模型,并从语义的角度证明了在该模型下的类ban逻辑语法存在的缺陷,同时,指出了建立或改进类ban逻辑的方向。 %K 类ban逻辑模态逻辑形式语义ban逻辑语义模型语法规则缺陷计算模型安全协议定义 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=21101855&flag=1