基于串空间模型的3GPP认证密钥交换协议分析

基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法.由此提出了一种改进的3GPP认证密钥交换协议以克服原协议存在的缺陷,应用串空间模型理论及认证测试方法形式化证明了该改进协议在不安全的信道上可确保消息的保密性,移动用户和服务网络间的双向认证,以及消息加密密钥和完整性密钥的新鲜性.

在IMS环境下实作CSCF一致性测试平台

3GPP(3rd Generation Partnership Project)在Release5提出IP多媒体子系统(IP Multime-dia Subsystem,IMS)以提供IP多媒体服务.在建置IMS服务时,验证CSCF组件是否有达到标准所定的规范是第1道关卡.本论文采用电信测试标准TTCN-3(Testing and Test Control Notation-version3),研发CSCF Conformance TestTool一致性测试平台(简称CSCF-T),以及利用OpenI MS进行测试.

分簇单载波系统中的资源分配

针对第3代合作伙伴计划长期演进(3GPP LTE)中的分簇单载波(clustered DFT-s-OFDM)系统,提出了一种基于迭代最大扩展技术的资源分配方法.仿真结果表明,在不考虑峰均比的影响下,增加每用户所允许的最大簇数可以提高系统资源分配的灵活度,从而提高系统的频谱效率.