【摘 要】
：
通过分析Oh等设计的T-AKA协议,发现该协议无法实现网络对用户的正确认证及消息的新鲜性验证,并利用该安全漏洞构造出了伪冒用户的攻击方法.然后,在3GPP规范的基础上,在服务网
【基金项目】
：
国家自然科学基金资助项目（60902008）, 常州市高技术研究重点实验室开放课题资助项目（CM20103003）
论文部分内容阅读
通过分析Oh等设计的T-AKA协议,发现该协议无法实现网络对用户的正确认证及消息的新鲜性验证,并利用该安全漏洞构造出了伪冒用户的攻击方法.然后,在3GPP规范的基础上,在服务网络端引入公钥机制,提出了改进的认证与密钥协商协议.最后,应用串空间模型理论及认证测试方法,对改进协议的机密性和双向认证正确性进行了形式化证明.研究结果表明：改进协议能够保证消息的新鲜性和网络-用户间的双向认证,克服T-AKA协议中存在的伪冒用户攻击及其他重放、伪冒攻击,具有高的安全性;协议设计中保留了3GPP规范的框架,避免了用户终
其他文献
针对永磁同步电机多变量、非线性、强耦合的特点，提出了基于支持向量机广义逆的模型参考自适应控制策略．在分析永磁同步电机广义可逆性的基础上，利用支持向量机回归理论辨识出系
为了描述模糊信息并建立模糊逻辑,研究了基于扩展原理和符号化模型的语言计算方法,提出基于数值模拟的对称分布语言变量表示及计算模型.该模型用特征值和标准方差二维数值反
为准确从碱与活性集料反应的角度掌握碱集料反应（AAR）,在前人研究基础上,赋予有效碱更进一步的定义,将进入活性集料中的碱称为有效碱.采用火焰光度法对有效碱含量和混凝土孔隙
运用广义阻抗模型的思想构建峡谷型路段的环境交通阻抗模型．首先给出峡谷型路段底部污染物浓度计算方法．忽略环境因素对污染物垂直分布的影响，运用数值拟合方法，对现有实验数据进
为了在抑制噪声的同时更好地保持PET重建图像中的细节结构,提出了一种基于非局部方向性核先验(NSKP)的Bayesian重建算法.为了充分利用图像中的全局信息,该算法在二阶核回归过程中估计出图像梯度,计算出相应的方向性矩阵,并根据非局部均值权值矩阵和方向性矩阵的卷积,计算先验项的权值.在重建中,该算法在高阶核回归过程中同时更新图像的梯度和先验信息,而不是单独计算图像梯度.另外,高阶核回归方法运用多
在“全民健身”上升为国家战略的背景下，人民日益增长的体育锻炼需求与落后的公共体育设施之间的矛盾显得日益突出，因此对西安市大众体育和公共体育设施合作互动关系必要性的研
钢管混凝土（CFST）桁架连续梁桥因跨度大（大于50m）、同时承受纵向压应力和横向拉应力双重作用导致核心混凝土韧性不足.对此开展了钢纤维自密实微膨胀钢管混凝土的增韧、及工作性、