基于NPLAB的Kerberos V5协议的形式化分析

发布时间：2017-09-16 04:36

  本文关键词：基于NPLAB的Kerberos V5协议的形式化分析

  更多相关文章： 安全协议 NPLAB 形式化分析 Kerberos V

【摘要】：安全协议是建立在密码学基础上的协议,提供主体的身份识别和认证、会话密钥的管理和分配等各种安全服务。NPLAB是一款网络通信协议设计软件,它使用HLPSL语言对安全协议进行建模,采用形式化分析方法分析安全协议,并给出其安全性和可能的攻击路径。以Kerberos V5协议为例,对NPLAB的使用进行说明,分析协议的安全性。
【作者单位】： 北京电子科技学院;
【关键词】： 安全协议 NPLAB 形式化分析 Kerberos V
【基金】：中央高校基本科研业务费专项资金资助 项目编号:328201538~~
【分类号】：TN918.4
【正文快照】： 引言安全协议是建立在密码学基础上的协议,在分布式系统和电子商务等各种网络环境中提供各种安全服务,例如:可以通过安全协议进行信息认证、在实体之间安全分配会话密钥、确保信息安全和完整、防止窃取和篡改等等。在通信中使用安全协议,是为了达到一定的安全属性,包括:秘密性

【参考文献】

中国期刊全文数据库 前1条

1 林春平;;OLSR协议的AVISPA分析研究[J];计算机安全;2010年08期

【共引文献】

中国期刊全文数据库 前2条

1 张宏滨;;基于AVISPA的Yahalom协议形式化分析[J];数据通信;2013年02期

2 秦宁元;付安民;陈守国;;基于AVISPA的快速切换认证协议FHAM的安全建模与检测[J];信息网络安全;2014年05期

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

1 郭肇毅;基于模型检测的形式化协议验证[D];电子科技大学;2012年

【二级参考文献】

中国期刊全文数据库 前1条

1 洪帆;洪亮;付才;;一种安全的移动自组网链路状态路由协议:SOLSR[J];计算机科学;2005年11期

【相似文献】

中国期刊全文数据库 前10条

1 黄天戍,王海燕;Kerberos系统的分析和改进方案[J];计算机应用;2003年03期

2 张凤梅,洪运国;Kerberos系统的分析和改进方案[J];辽宁税务高等专科学校学报;2003年04期

3 姜平,戴闯,孙静;实现Kerberos的优化认证[J];电脑开发与应用;2004年04期

4 李毅 ,王道平;Kerberos原理及应用[J];信息网络安全;2004年03期

5 徐勇 ,李征,张珏;Kerberos身份认证的分析和改进[J];微计算机信息;2004年10期

6 马佩勋;李杰;;Kerberos协议及其授权扩展的研究与设计[J];计算机技术与发展;2006年05期

7 戈军;;基于Kerberos身份认证的分析和改进[J];沈阳工程学院学报(自然科学版);2006年03期

8 张娜;;Kerberos与盲签名的结合[J];计算机应用与软件;2006年11期

9 曹世华;;Active Directory和Kerberos的校园网络统一认证的实现[J];杭州师范学院学报(自然科学版);2007年04期

10 李翔;晁爱农;;Kerberos协议的应用与改进[J];微计算机信息;2008年36期

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

1 姚传茂;;一种新的Kerberos认证系统改进方案[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

2 莫燕;张玉清;吴建耀;;对Kerberos协议的攻击及对策研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年

3 郭甜滋;毛楠;司志刚;陈丽;;Kerberos协议在单点登录中的改进及应用[A];计算机研究新进展（2010）——河南省计算机学会2010年学术年会论文集[C];2010年

4 韩江洪;马学森;魏振春;;基于公钥机制的Kerberos多区域分布式认证[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

5 邓科峰;谭子军;周先奉;;基于数字证书和Kerberos协议的身份认证方案[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

6 余强;廖文浩;陈兴蜀;;Kerberos化的Socks V5系统的设计与实现[A];第十八次全国计算机安全学术交流会论文集[C];2003年

7 张熙;谷利泽;李忠献;;基于USBKEY的Kerberos认证协议的研究与实现[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集（上册）[C];2008年

8 田俊峰;毕志明;张晶;;一种基于公钥的新型Kerberos域间认证方案[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年

9 历优栋;;基于Kerberos在调度自动化的应用[A];第十九届输配电研讨会论文集[C];2011年

中国重要报纸全文数据库 前4条

1 启然;网络认证协议Kerberos浅析[N];网络世界;2000年

2 陈耀光;Win2000的网络安全机制[N];网络世界;2001年

3 songwei;“多余”服务别忙关[N];电脑报;2004年

4 ;工具百宝箱[N];中国计算机报;2003年

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

1 何伟;基于改进Kerberos认证协议的远程访问VPN密码系统研究[D];浙江大学;2003年

2 周倜;复杂安全协议的建模与验证[D];国防科学技术大学;2008年

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

1 傅娜娜;勘探生产门户统一身份认证模型的研究与应用[D];西安石油大学;2015年

2 杨萍;Kerberos的安全性分析及其认证模式的研究与改进[D];天津理工大学;2015年

3 潘泽波;基于指纹认证的Kerberos认证系统的设计[D];中南大学;2008年

4 任敏;基于公钥密码的Kerberos认证系统的研究[D];山东师范大学;2006年

5 曹璞;基于公钥密码的Kerberos认证协议研究[D];浙江工业大学;2003年

6 姚传茂;Kerberos认证系统的研究与改进[D];合肥工业大学;2003年

7 叶玺臣;基于改进型Kerberos协议的单点登录技术研究[D];武汉轻工大学;2013年

8 刘铮;基于改进Kerberos协议的单点登录系统研究与实现[D];重庆大学;2010年

9 张松林;基于Kerberos的安全认证模块设计与实现[D];哈尔滨工业大学;2010年

10 金晨光;基于Kerberos的计算机内部网络安全模型研究[D];西安电子科技大学;2001年

，

本文编号：860949