-
题名关于认证测试模型教学的一些注记
被引量：1
- 1
-
-
作者
余磊
-
机构
淮北师范大学计算机科学与技术学院
-
出处
《淮北师范大学学报（自然科学版）》
CAS
2020年第3期86-91,共6页
-
基金
教育部产学合作协同育人项目(201802088009,201802342026,201902298002)
安徽省高校自然科学研究项目(KJ2020A0034)
+1 种基金
安徽省高校省级质量工程项目(2017jyxm0221)
淮北师范大学教学研究重大项目(jy2017102)。
-
文摘
为提高认证测试模型理论的教学效果,采用概念剖析、性质挖掘、方法优化和萃取的方式,从教学角度给出消息组件、测试组件、认证测试结构一些注记,并结合具体安全协议,给出实例说明和论证,以加深学生对认证测试模型概念的理解,消除学生在认证测试方法应用上存在的一些误区,提升学生运用所学理论和技术分析并解决信息安全问题的基本能力.
-
关键词
安全协议
形式化方法
认证测试模型
教学注记
-
Keywords
security protocol
formal method
authentication tests model
teaching notes
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名关于悬链线的一点注记(英文)
被引量：1
- 2
-
-
作者
Juan Gill Bankstain
黄迅成
-
机构
威斯康星大学
扬州职业大学
-
出处
《扬州职业大学学报》
2009年第1期1-5,共5页
-
文摘
悬链线是微积分、微分方程、微分几何、变分计算及数值分析中的一个重要课题。本文通过一些诸如方轮自行车、旋转的最小面积等有趣的例子,计算悬链线和相应半圆下面的面积,证明悬链线到处都有,但并不是无处不在。
-
关键词
悬链线
微分几何
最小面积
教学注记
-
Keywords
Catenary
differential geometry
minimizing surface
teaching notes
-
分类号
O241.5
[理学—计算数学]
-
-
题名一维连续型随机变量函数分布的教学注记
- 3
-
-
作者
陈高波
-
机构
武汉轻工大学数学与计算机学院
-
出处
《科技与创新》
2016年第13期118-118,121,共2页
-
基金
武汉轻工大学重点教学研究项目(编号:XZ2014009)
-
文摘
讨论了求一维连续型随机变量函数的密度函数的方法,给出了适用范围更广的分段单调密度定理。
-
关键词
连续型随机变量
密度函数
单调函数
教学注记
-
分类号
O211.3
[理学—概率论与数理统计]
-
