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

Some Notes on the Teaching of Authentication Tests Model

作　　者：余磊[1] YU Lei(School of Computer Science&Technology,Huaibei Normal University,235000,Huaibei,Anhui,China)

机构地区：[1]淮北师范大学计算机科学与技术学院,安徽淮北235000

出　　处：《淮北师范大学学报（自然科学版）》2020年第3期86-91,共6页Journal of Huaibei Normal University：Natural Sciences

基　　金：教育部产学合作协同育人项目(201802088009,201802342026,201902298002);安徽省高校自然科学研究项目(KJ2020A0034);安徽省高校省级质量工程项目(2017jyxm0221);淮北师范大学教学研究重大项目(jy2017102)。

摘　　要：为提高认证测试模型理论的教学效果,采用概念剖析、性质挖掘、方法优化和萃取的方式,从教学角度给出消息组件、测试组件、认证测试结构一些注记,并结合具体安全协议,给出实例说明和论证,以加深学生对认证测试模型概念的理解,消除学生在认证测试方法应用上存在的一些误区,提升学生运用所学理论和技术分析并解决信息安全问题的基本能力.In order to improve the teaching effect of authentication tests model theory,some notes on message components,test components and authentication tests structure are given from the perspective of teaching by means of concept analysis,property mining,method optimization and extraction,as well as the example expla⁃nation and demonstration of teaching notes combining with specific security protocols to deepen the under⁃standing of the concept of authentication test model in order to eliminate some misunderstandings in the ap⁃plication of authentication test methods,and improve the basic ability of students to analyze and solve infor⁃mation security problems by using the learned theory and technology.

关 键 词：安全协议 形式化方法 认证测试模型 教学注记 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]