排序方式: 共有4条查询结果,搜索用时 562 毫秒
1
1.
未来电磁频谱管理对信息通信技术的需求分析 总被引:1,自引:0,他引:1
无线电通信的高速发展,使频谱使用越来越广泛,频谱资源日益紧张,为使有限的频谱资源发挥更大的价值,一方面依赖于无线通信技术的进步,开发出频谱利用率更高的应用系统,另一方面要加强频谱的科学管理,将行政管理和科学技术紧密结合。信息通信技术在过去的50年中发展迅速,大量研究证实信息通信技术在管理创新和决策活动中的作用非常明显。文章针对电磁频谱管理技术手段的发展,对信息通信技术的需求做相关分析。 相似文献
2.
针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802.11i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的方法,并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后,根据扩展形式化方法对改进后的四步握手协议进行证明,得出改进后协议可以通过两类DoS测试规则运行至结束。 相似文献
3.
4.
形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE 802.11i的认证方式中基于Kerberos架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论。最后也提出了形式化方法的不足之处和未来研究方向。 相似文献
1