SIP协议的SPIN模型检测

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:youyoudl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
2010年Yoon等人提出一种基于椭圆曲线的三要素SIP认证密钥协商协议TAKASIP,但其存在一些攻击。对唐宏斌等人提出的该协议的改进方案使用SPIN进行了分析,发现仍然存在安全漏洞。针对这些缺陷,提出了一种有效的改进方案,采用在协议的消息中加入只有双方共享的秘密值的方法,克服了安全漏洞。新方案在不降低效率的情况下,提高了安全性。
其他文献
本文在阐述了产权制度效率理论与制度变迁成本--收益理论的基础上,分析了我国集体林地产权制度存在的主要问题,提出了集体林地产权制度改革的方向和具体内容.
针对Euler方程,设计了适合间断Galerkin有限元方法的LU-SGS、GMRES以及修正LU-SGS隐式算法。采用Roe通量以及Van Albada限制器技术实现了经典LU-SGS、GMRES算法,引入高阶项误差
针对目标运动过程中有转弯机动等复杂运动模式的高速高机动目标,设计了自适应两层IMM跟踪算法。该算法内层由改进的机动目标当前统计模型构成,把目标速度方向角作为伪测量值进
东北国有林区是东北老工业基地的重要组成部分,振兴东北老森林工业基地具有十分重要的意义.本文运用制度经济学的理论观点,阐述了制度创新与区域经济增长的关系,并以长白山国
本文阐述长度计量实物标准 :米尺尺长的温度方程式及其应用。温度系数与长度赋值关系 This article describes the length measurement of physical standards: the length
由于毫米波图像分辨率低并伴随有大量噪声,其图像边缘常被噪声污染或丢失,为此提出保边缘自蛇模型并应用于毫米波图像去噪。引入只在图像的边缘处具有最大值,且对噪声不敏感的非局部梯度,以此构造边缘停止函数,使其在图像边缘处接近0,而在平坦同质区域接近1;给出保边缘的自蛇模型迎风差分数字解法;提出毫米波图像去噪的定量评价算法性能指标。实验结果表明,该算法在等效视数和边缘清晰度性能指标上明显优于标准自蛇模型和
通过对不同条件下原位复合制备的种种上TiN/O‘-Sialon材料避的氧化行为研究,考查了氧化温度、气孔率和TiN含量对材料抗氧性能的影响。结果表明:当氧化温度升高到一定值时,通常材料表层会形成致
采用水解法在SiO2表面包覆纳米TiO2,制备出TiO2-SiO2复合材料,并用IR、SEM、XRD及化学分析手段进行表征,结果表明:复合材料由纳米锐钛矿型TiO2和SiO2组成,它们之间有Ti-O-Si键形成,且该键对锐钛矿型TiO2起了稳定作用,试验研究并讨
为解决大型自主式水下航行器(Autonomous Underwater Vehicle,AUV)实际实验环境搭建的困难,以及AUV控制系统各单元功能测试的需要,设计了一套新的Windows平台下基于LabVIEW/Matlab
阐述了图书馆文化的内涵,指出了高校图书馆应该结合自身情况,从图书馆物质文化建设、制度文化建设和精神文化建设等层面开展图书馆文化建设,并以上海电力大学图书馆文化建设