未来电磁频谱管理对信息通信技术的需求分析

无线电通信的高速发展,使频谱使用越来越广泛,频谱资源日益紧张,为使有限的频谱资源发挥更大的价值,一方面依赖于无线通信技术的进步,开发出频谱利用率更高的应用系统,另一方面要加强频谱的科学管理,将行政管理和科学技术紧密结合。信息通信技术在过去的50年中发展迅速,大量研究证实信息通信技术在管理创新和决策活动中的作用非常明显。文章针对电磁频谱管理技术手段的发展,对信息通信技术的需求做相关分析。     

安全协议DoS攻击的形式化分析方法研究

针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802．11i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的方法,并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后,根据扩展形式化方法对改进后的四步握手协议进行证明,得出改进后协议可以通过两类DoS测试规则运行至结束。     

LTE小区间漫游安全性研究

通过对E-UTRAN（演进型UTRAN）架构及3GPP LTE区间切换方式的分析,指出切换中可能存在的安全缺陷,即存在伪冒UE攻击与重放攻击,使得UE与源基站、UE与目标基站之间的认证正确性不能保证。由此,文章提出了一种改进方案来克服伪冒UE攻击与重放攻击,并分析了该改进方案的安全性。     

IEEE 802.11i基于Kerberos架构认证的形式化分析

形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE 802.11i的认证方式中基于Kerberos架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论。最后也提出了形式化方法的不足之处和未来研究方向。