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

• 作者: 周娅 郑卓远
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 线索空间模型 协议 线索 束 参与方 入侵者
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 27-30
• 页数: 4页
• 分类号: TP309
• 字数: 3870字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2003.01.007

摘要

线索空间模型是一种新的安全协议模型,它可利用线索空间图证明Needham-Schroeder协议的某些安全特性.在描述和分析此过程协议存在的漏洞同时并对协议进行了改进.线索空间模型同其他模型相比,最大优点就是简洁直观,是形式化技术的一个重要的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周娅	桂林电子工业学院计算机系	90	540	11.0	19.0
2	郑卓远	桂林电子工业学院计算机系	2	12	1.0	2.0