《Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1》2011年

信息安全专业“安全协议”课程的教改探讨

【摘要】：安全协议是信息安全及其相关专业的重要基础课程,是数学在信息科学中的典型应用,在信息安全的学习和研究中占据着重要的地位。本文以安全协议课程的教学作为核心研究内容,以培养学生的实践能力、创新能力和应用能力为教学目标,结合密码学课程的特点和教学实践,提出了以教学内容为重点,教学方法与实践环节相配套的教学改革思路。

【作者单位】：西安邮电学院通信与信息工程学院
【基金】：西安邮电学院课程建设项目(109-1432)~~
【分类号】：TP393.08-4

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	陈铁明;蒋融融;熊丽荣;;网络安全协议的综合教学实践研究[J];计算机时代;2007年06期
2	焦媛;;电子商务安全技术与PKI研究浅谈[J];科技信息;2009年24期
3	马明;;浅析电子商务安全技术研究[J];硅谷;2010年22期
4	王娜,王亚弟;安全协议的形式化说明、设计及验证[J];计算机应用;2003年10期
5	崔捷,郑连清,顾志银;安全协议SSL与SET的分析与比较[J];现代电子技术;2004年09期
6	陈灿;李俊;;Kerberos协议的形式化分析[J];微电子学与计算机;2006年06期
7	王焕宝;张佑生;李援;;安全协议的串空间图表示[J];计算机研究与发展;2006年12期
8	徐梦茗;肖聪;唐六华;黄金涛;;安全协议和网络攻击分析[J];信息安全与通信保密;2007年02期
9	王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
10	缪祥华;何大可;;安全协议的等价性问题[J];计算机工程;2007年19期

中国重要会议论文全文数据库

前10条

1	侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2	谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
3	解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
4	顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5	康松;王勋华;;门卫安全协议一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
6	刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用（CACIS）学术会议论文集（下册）[C];2006年
7	徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
8	周东清;李燕;苏庆福;;一种基于层次型拓扑结构的无线传感器网络安全协议的设计[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
9	张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像仿真信息技术——第二届联合学术会议论文集[C];2002年
10	李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年

中国重要报纸全文数据库

前10条

1	施明全周保太;信息安全基石：密码[N];解放军报;2001年
2	黄竞男;如何确保信息安全[N];文汇报;2003年
3	;802.1AE保护局域网安全[N];网络世界;2005年
4	本报记者边歆;不一样的证书和评测[N];网络世界;2009年
5	本报记者邹大斌;建立立体的安全防护网[N];计算机世界;2009年
6	上海社会科学院副研究员博士丁波涛;解决三大难题加快物联网应用[N];中国电子报;2009年
7	周刚;跨界组合成信息安全产品发展新方向[N];中国城乡金融报;2010年
8	本报记者胡英;赛门铁克新技术降低企业安全风险[N];计算机世界;2010年
9	本报驻加拿大记者　杜华斌;管理与技术同等重要[N];科技日报;2006年
10	本报通讯员王典丽;网络主动防御营造信息安全[N];人民铁道;2008年

中国博士学位论文全文数据库

前10条

1	鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
2	邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
3	谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
4	赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
5	冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
6	贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
7	石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
8	范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9	闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
10	胡兰兰;安全协议和方案的研究与设计[D];北京邮电大学;2008年

中国硕士学位论文全文数据库

前10条

1	陈敬佳;基于PKI技术的网络安全平台设计与实现[D];武汉理工大学;2006年
2	张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
3	施娟;电子商务安全协议探讨[D];西南财经大学;2001年
4	林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
5	陈强;安全协议的形式化分析研究[D];清华大学;2005年
6	王东;网格中多用户协同计算安全需求分析及安全协议设计[D];天津大学;2004年
7	郭克华;基于第三方计算的移动商务安全协议[D];福州大学;2005年
8	赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
9	刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
10	邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡神州行卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62791813 010-62985026	常见问题在线咨询阅读器下载	充值中心知网卡新手指南