Kailar逻辑的改进及应用

综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。

基于串空间认证测试理论的认证协议分析

对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。

Aziz-Diffie协议的形式化分析及其改进

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。

CCITT X.509协议的形式化分析及其改进

串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。

基于串空间模型的改进型Otway-Rees协议分析

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。

一种新的电子邮件协议及其形式化分析

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展的串空间模型采用认证测试方法,验证了新协议可以满足其安全目标。

基于本科生毕业论文过程管理效能提升的系统设计

本文从管理角度,用系统认识来化解毕业论文过程管理中的许多问题。对当前本科毕业论文管理的现状进行了分析总结,以湖北师范大学为例,通过对本科生毕业论文工作流程的分析,针对移动环境下规范本科生毕业论文过程管理和提升效益,做出了一些自己的思考和探索。

重视物理活动教学 培养科学探究能力

在高中物理教学中,教师要重视物理活动的设计和组织,以提升学生学习品质。整合教材活动内容、优化教学活动设计、切准活动投放时机、创新实验活动形式,教师从不同维度出发展开施教和创新探索,都可以获得丰富助学动力,让学生在不断实践体验中形成学科综合能力。

初中数学教学中学生问题意识的培养

随着新课程改革的进行,数学学科中学生问题意识的培养越来越重要,但是由于传统教学方法存在弊端,学生的求知欲并不强烈.而问题意识是学生掌握知识过程中不可忽视的一个环节.这就要求教师在教学过程中,要格外重视学生问题意识的培养.本篇文章就从实际出发,给初中数学教师提出一些切实的建议.