选择认可动态逻辑

• 作者: 宋国文 李勇 潘正运 陈性元
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 选择认可动态逻辑,安全协议分析,IP安全协议 Internet密钥交换协议
• 年，卷（期）: 2002,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 51-60
• 页数: 10页
• 分类号: TP309|TP393
• 字数: 5098字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2002.06.008

摘要

本文提出了一种用于分析网络安全协议的形式化逻辑--选择认可动态逻辑.该逻辑重视通信实体间的明文信息,通过对通信实体之间交换信息的状态的演绎,刻划了通信各方对信息的获取以及由此产生的攻击行为.预共享密钥交换协议是IPSec中IKE的验证模式之一,本文利用选择认可动态逻辑对该协议进行了演绎,剖析了其认证过程和密钥生成的关键所在,随后对该协议的局限性和野蛮模式下的特点进行了评估.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈性元		46	247	9.0	14.0
2	宋国文	西南电子电信技术研究所上海分所	28	268	8.0	16.0
3	李勇		12	132	6.0	11.0
4	潘正运		4	33	3.0	4.0