周世健
- 作品数：11 被引量：12H指数：3
- 供职机构：中国人民解放军73691部队更多>>
- 发文基金：江苏省自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术理学更多>>
- 未来电磁频谱管理对信息通信技术的需求分析被引量：3
- 2009年
- 无线电通信的高速发展,使频谱使用越来越广泛,频谱资源日益紧张,为使有限的频谱资源发挥更大的价值,一方面依赖于无线通信技术的进步,开发出频谱利用率更高的应用系统,另一方面要加强频谱的科学管理,将行政管理和科学技术紧密结合。信息通信技术在过去的50年中发展迅速,大量研究证实信息通信技术在管理创新和决策活动中的作用非常明显。文章针对电磁频谱管理技术手段的发展,对信息通信技术的需求做相关分析。
- 周世健王鹏刘贵龙
- 关键词：电磁频谱管理信息通信技术
- LTE小区间漫游安全性研究被引量：2
- 2009年
- 通过对E-UTRAN(演进型UTRAN)架构及3GPP LTE区间切换方式的分析,指出切换中可能存在的安全缺陷,即存在伪冒UE攻击与重放攻击,使得UE与源基站、UE与目标基站之间的认证正确性不能保证。由此,文章提出了一种改进方案来克服伪冒UE攻击与重放攻击,并分析了该改进方案的安全性。
- 周世健刘贵龙王鹏
- 关键词：3GPPLTE
- 抗长时预测规则脉冲激励压缩编码全球通手机语音加密方法
- 抗长时预测规则脉冲激励压缩编码全球通手机语音加密方法是一种全球通(GSM)手机端到端语音加密方法。在全球通手机语音通信系统的模/数模块和长时预测规则脉冲激励编解码模块之间，接入手机语音加/解密模块，进行语音加解密运算，实...
- 蒋睿齐宏飞周世健杨晓辉胡爱群
- 文献传递
- IEEE 802.11i基于Kerberos架构认证的形式化分析
- 2010年
- 形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE 802.11i的认证方式中基于Kerberos架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论。最后也提出了形式化方法的不足之处和未来研究方向。
- 周世健张旭辉刘炜
- 关键词：KERBEROS协议形式化方法串空间模型
- 基于扩展串空间模型对802.11i四步握手协议的分析
- 通过对串空间模型的扩展，提出了一种可以对安全协议DoS攻击进行分析的形式化分析方法。利用扩展后的串空间模型，对IEEE802．11i协议中的四步握手协议进行深入分析，发现其存在DoS攻击漏洞。根据存在DoS攻击漏洞的原因...
- 周世健蒋睿杨晓辉
- 关键词：串空间安全协议形式化方法DOS攻击
- 文献传递
- 高效安全协议拒绝服务攻击检测系统的实现方法
- 高效安全协议拒绝服务攻击检测系统的实现方法涉及的是一种信息安全领域的方法，采用C/S系统结构设计，支持多用户、多进程并发操作，从客户端界面获取安全协议输入，在服务器端经形式化语言转换把其转换成基于扩展Strand Spa...
- 蒋睿周世健张卓立
- 文献传递
- 抗长时预测规则脉冲激励压缩编码全球通手机语音加密方法
- 抗长时预测规则脉冲激励压缩编码全球通手机语音加密方法是一种全球通(GSM)手机端到端语音加密方法。在全球通手机语音通信系统的模/数模块和长时预测规则脉冲激励编解码模块之间，接入手机语音加/解密模块，进行语音加解密运算，实...
- 蒋睿齐宏飞周世健杨晓辉胡爱群
- 文献传递
- 抗RPE-LTP压缩编码的语音加密算法被引量：3
- 2008年
- 针对GSM系统的安全机制不能实现端到端安全通信,提出一种能够穿透RPE-LTP压缩编码声码器的新型语音加密算法。该算法不会破坏语音特征,可以抗RPE-LTP压缩编码,实现在GSM语音通道中的端到端安全通信。选择算法参数的值取20～25时可以获得良好的加解密效果,取20时可以获得良好的时、频域失真度。
- 周世健齐宏飞蒋睿杨晓辉
- 关键词：语音加密GSM系统
- 一种安全协议自动化设计实现方法
- 一种安全协议自动化设计实现方法，使用C/S系统结构设计，支持多用户并发操作，从客户端界面输入协议安全要素，在服务器端经形式化语言转换把其转换成基于扩展串空间模型的协议形式化语言描述内容，并根据消息机密性规则、协议认证正确...
- 蒋睿张卓立周世健
- 文献传递
- 基于串空间理论的无线网络安全协议分析与设计
- 随着无线网络在各领域的广泛应用和不断发展，人们越来越关注无线网络的安全问题。无线信道的开放性和不稳定性使得无线网络面临着较大的安全风险;移动终端在硬件资源上不同程度的限制也决定了某些密码技术无法适用于无线环境;不同类型和...
- 周世健
- 关键词：无线信道安全协议密钥交换协议
- 文献传递
