搜索筛选:
搜索耗时0.1055秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：翁艳琴,
来源：新校园·上旬刊 年份：2014
摘 要：随着新课程改革的进行，数学学科中学生问题意识的培养越来越重要，但是由于传统教学方法存在弊端，学生的求知欲并不强烈。而问题意识是学生掌握知识过程中不可忽视的一个环节。这就要求教师在教学过程中，要格外重视学生问题意识的培养。本篇文章就从实际出发，给......
[期刊论文] 作者：翁艳琴,,
来源：湖北师范大学学报(哲学社会科学版) 年份：2018
本文从管理角度,用系统认识来化解毕业论文过程管理中的许多问题.对当前本科毕业论文 管理的现状进行了分析总结, 以湖北师范大学为例, 通过对本科生毕业论文工作流程的分析,...
[期刊论文] 作者：翁艳琴,
来源：教师 年份：2020
在高中物理教学中,教师要重视物理活动的设计和组织,以提升学生学习品质。整合教材活动内容、优化教学活动设计、切准活动投放时机、创新实验活动形式,教师从不同维度出发展...
[期刊论文] 作者：翁艳琴,,
来源：新课程导学 年份：2016
高中是培养社会所需人才的主要阵地,对国家的长远发展有着重要的影响。在教育改革过程中,物理教学的地位有所提高,教师在教学中应该越来越重视培养学生的自主学习能力。但是...
[学位论文] 作者：翁艳琴,
来源：湖北师范学院 年份：2012
...
[期刊论文] 作者：翁艳琴,石曙东,解颜铭,
来源：微型机与应用 年份：2012
对增强型认证测试理论进行简化，使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中，发现协议存在的缺陷，对协议进行改进，并对改进后的协议进行了分析验证。......
[期刊论文] 作者：翁艳琴,石曙东,解颜铭,,
来源：微型机与应用 年份：2012
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应...
[期刊论文] 作者：解颜铭,石曙东,翁艳琴,,
来源：计算机安全 年份：2012
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。......
[期刊论文] 作者：翁艳琴,石曙东,解颜铭,,
来源：湖北师范学院学报(自然科学版) 年份：2011
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应...
[期刊论文] 作者：解颜铭,石曙东,翁艳琴,
来源：湖北师范学院学报：自然科学版 年份：2013
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展...
[期刊论文] 作者：解颜铭,石曙东,翁艳琴,
来源：信息通信 年份：2012
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型...
相关搜索：
