具有时限约束的安全协议分析技术研究

• 作者: 古天龙 彭勋 董荣胜 郭云川
• 来源期刊: 计算机科学
• 关键词: 形式化方法 时限责任 安全协议
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 80-85
• 页数: 6页
• 字数: 8136字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.01.023

摘要

本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	彭勋	桂林电子工业学院计算机系	4	13	1.0	3.0
3	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
4	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0