一种描述协议的新模型:线索空间模型

一种描述协议的新模型：线索空间模型
郑卓远;周娅
【期刊名称】《桂林电子科技大学学报》
【年(卷),期】2003(023)001
【摘要】线索空间模型是一种新的安全协议模型,它可利用线索空间图证明Needham-Schroeder协议的某些安全特性.在描述和分析此过程协议存在的漏洞同时并对协议进行了改进.线索空间模型同其他模型相比,最大优点就是简洁直观,是形式化技术的一个重要的研究方向.
【总页数】4页(P27-30)
【作者】郑卓远;周娅
【作者单位】桂林电子工业学院,计算机系,广西,桂林,541004;桂林电子工业学院,计算机系,广西,桂林,541004
【正文语种】中文
【中图分类】TP309
【相关文献】
1.局部网络通信协议形式描述的新混合模型 [J], 李腊元
2.一种基于EFSM的变电站通信协议一致性测试模型描述方法 [J], 王延安;余义传;张丹;肖登明
3.一种理性安全协议的博弈逻辑描述模型 [J], 刘海;彭长根;张弘;任祉静
4.一种新的安全协议及其串空间模型分析 [J], 皮建勇;杨雷;刘心松;李泽平
5.实例化空间:一种新的安全协议验证逻辑的语义模型 [J], 苏开乐;岳伟亚;陈清亮;ZHENG Xi-Zhong
因版权原因，仅展示原文概要，查看原文内容请购买。