10.3321/j.issn:1000-436X.2002.06.008
选择认可动态逻辑
本文提出了一种用于分析网络安全协议的形式化逻辑--选择认可动态逻辑.该逻辑重视通信实体间的明文信息,通过对通信实体之间交换信息的状态的演绎,刻划了通信各方对信息的获取以及由此产生的攻击行为.预共享密钥交换协议是IPSec中IKE的验证模式之一,本文利用选择认可动态逻辑对该协议进行了演绎,剖析了其认证过程和密钥生成的关键所在,随后对该协议的局限性和野蛮模式下的特点进行了评估.
选择认可动态逻辑、安全协议分析、IP安全协议、Internet密钥交换协议
23
TP309;TP393(计算技术、计算机技术)
河南省自然科学基金994060100
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共10页
51-60