关于认证测试模型教学的一些注记

发布时间：2021-03-30 14:20

　　为提高认证测试模型理论的教学效果,采用概念剖析、性质挖掘、方法优化和萃取的方式,从教学角度给出消息组件、测试组件、认证测试结构一些注记,并结合具体安全协议,给出实例说明和论证,以加深学生对认证测试模型概念的理解,消除学生在认证测试方法应用上存在的一些误区,提升学生运用所学理论和技术分析并解决信息安全问题的基本能力. 

【文章来源】：淮北师范大学学报(自然科学版). 2020,41(03)

【文章页数】：6 页

【部分图文】：

Denning-Sacco协议

Needham-Schroeder协议

Amended Otway-Rees协议

【参考文献】：
期刊论文
[1]新工科背景下应用型大学网络空间安全专业课程体系构建研究[J]. 曹鹏飞,杨望,叶传标,李杰,杨君.  计算机教育. 2019(11)
[2]基于主体关联度的安全协议形式化分析方法[J]. 余磊,魏仕民,江明明.  信息网络安全. 2018(06)
[3]强力推进网络空间安全一级学科建设——访沈昌祥院士[J]. 崔光耀,冯雪竹.  中国信息安全. 2015(11)
[4]网络安全战略意义及新趋势[J]. 汪玉凯.  人民论坛. 2014(16)
[5]协议设计过程中认证测试组件的构造规则研究[J]. 余磊.  淮北师范大学学报(自然科学版). 2013(02)
[6]信息安全本科专业课程体系优化及课程群建设[J]. 胡东辉,朱晓玲,张仁斌,侯整风.  计算机教育. 2012(17)
[7]网络管理中一种互认证密码协议的安全性分析[J]. 余磊,魏仕民.  计算机工程与应用. 2012(04)
[8]TLS协议认证测试模型与形式化分析[J]. 孔娟,曹利培.  计算机工程与应用. 2009(23)
[9]安全协议的形式化分析技术与方法[J]. 薛锐,冯登国.  计算机学报. 2006(01)
[10]安全协议20年研究进展[J]. 卿斯汉.  软件学报. 2003(10)



本文编号：3109655