發(fā)布時(shí)間：2021-03-30 14:20

　　為提高認(rèn)證測試模型理論的教學(xué)效果,采用概念剖析、性質(zhì)挖掘、方法優(yōu)化和萃取的方式,從教學(xué)角度給出消息組件、測試組件、認(rèn)證測試結(jié)構(gòu)一些注記,并結(jié)合具體安全協(xié)議,給出實(shí)例說明和論證,以加深學(xué)生對認(rèn)證測試模型概念的理解,消除學(xué)生在認(rèn)證測試方法應(yīng)用上存在的一些誤區(qū),提升學(xué)生運(yùn)用所學(xué)理論和技術(shù)分析并解決信息安全問題的基本能力. 

【文章來源】：淮北師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2020,41(03)

【文章頁數(shù)】：6 頁

【部分圖文】：

Denning-Sacco協(xié)議

Needham-Schroeder協(xié)議

Amended Otway-Rees協(xié)議

【參考文獻(xiàn)】：
期刊論文
[1]新工科背景下應(yīng)用型大學(xué)網(wǎng)絡(luò)空間安全專業(yè)課程體系構(gòu)建研究[J]. 曹鵬飛,楊望,葉傳標(biāo),李杰,楊君.  計(jì)算機(jī)教育. 2019(11)
[2]基于主體關(guān)聯(lián)度的安全協(xié)議形式化分析方法[J]. 余磊,魏仕民,江明明.  信息網(wǎng)絡(luò)安全. 2018(06)
[3]強(qiáng)力推進(jìn)網(wǎng)絡(luò)空間安全一級學(xué)科建設(shè)——訪沈昌祥院士[J]. 崔光耀,馮雪竹.  中國信息安全. 2015(11)
[4]網(wǎng)絡(luò)安全戰(zhàn)略意義及新趨勢[J]. 汪玉凱.  人民論壇. 2014(16)
[5]協(xié)議設(shè)計(jì)過程中認(rèn)證測試組件的構(gòu)造規(guī)則研究[J]. 余磊.  淮北師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2013(02)
[6]信息安全本科專業(yè)課程體系優(yōu)化及課程群建設(shè)[J]. 胡東輝,朱曉玲,張仁斌,侯整風(fēng).  計(jì)算機(jī)教育. 2012(17)
[7]網(wǎng)絡(luò)管理中一種互認(rèn)證密碼協(xié)議的安全性分析[J]. 余磊,魏仕民.  計(jì)算機(jī)工程與應(yīng)用. 2012(04)
[8]TLS協(xié)議認(rèn)證測試模型與形式化分析[J]. 孔娟,曹利培.  計(jì)算機(jī)工程與應(yīng)用. 2009(23)
[9]安全協(xié)議的形式化分析技術(shù)與方法[J]. 薛銳,馮登國.  計(jì)算機(jī)學(xué)報(bào). 2006(01)
[10]安全協(xié)議20年研究進(jìn)展[J]. 卿斯?jié)h.  軟件學(xué)報(bào). 2003(10)



本文編號：3109655