安全协议的时限责任分析

• 作者: 尤晋元 敖青云 梁坚
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 时限责任 形式化分析 Kudo逻辑
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 1450-1454
• 页数: 5页
• 分类号: TP309
• 字数: 4014字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2002.10.010

摘要

本文针对安全协议中的时限责任问题,提出结合责任性与新鲜性来分析时间标记.这种思路体现在我们新的时限逻辑框架中,比较Kudo[8]的方法,新的逻辑体系因为有对消息完整性的判断,能更有效地防止消息的篡改与重发攻击,且更加简洁和实用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	敖青云	上海交通大学计算机科学与工程系	12	139	7.0	11.0
2	尤晋元	上海交通大学计算机科学与工程系	99	1122	18.0	30.0
3	梁坚	上海交通大学计算机科学与工程系	5	43	3.0	5.0