基于递归认证测试的SIP协议形式化分析

文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。

谈小学语文阅读教学的学法指导

语文教学不仅仅是教给学生一些语文知识,更重要的是教给学生学习方法.在教学活动中,要始终坚持把学习方法渗透到各个教学环节中,并让学生在不断的学习中掌握运用、提炼总结.学生掌握了学习方法后,教师还要引导学生将学习方法迁移运用到其他内容的学习中去,使语文教学真正达到'教是为了不教'的目的.