计算模型下的SSHV2协议认证性自动化分析

发布时间：2017-06-28 10:07

  本文关键词：计算模型下的SSHV2协议认证性自动化分析，，由笔耕文化传播整理发布。

【摘要】：安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用。针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVerif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性。
【作者单位】： 中南民族大学计算机科学学院;
【关键词】： 第二代安全内壳协议 安全协议 计算模型 认证性 CryptoVerif工具 自动化分析
【基金】：湖北省自然科学基金资助项目“安全协议代码的安全性自动化验证及软件工具开发”(2014CFB249);湖北省自然科学基金资助项目“有限射影几何方法研究高纬线性码的汉明重量”(2014CFB440) 国家民族事务委员会自然科学基金资助项目“面向位置服务的隐私保护理论与方法研究”(12ZNZ009)
【分类号】：TP393.04
【正文快照】： 中文引用格式:牛乐园,杨伊彤,王德军,等.计算模型下的SSHV2协议认证性自动化分析[J].计算机工程,2015,41(10):148-154.英文引用格式:Niu Leyuan,Yang Yitong,Wang Dejun,et al.Automatic Analysis on Authentication of SSHV2Protocol in Computational Model[J].Computer Eng

【参考文献】

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

1 李延松;江国华;;一种改进SSH协议主机认证方法[J];电子科技;2013年02期

2 唐郑熠;李祥;;Dolev-Yao攻击者模型的形式化描述[J];计算机工程与科学;2010年08期

3 郑清雄;;基于Spi演算的安全协议验证[J];计算机应用与软件;2011年03期

4 陈伟;杨伊彤;牛乐园;;改进的OAuth2.0协议及其安全性分析[J];计算机系统应用;2014年03期

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

1 邵飞;基于概率进程演算的安全协议自动化分析技术研究[D];中南民族大学;2011年

2 朱玉娜;密码协议符号分析方法的计算可靠性研究[D];解放军信息工程大学;2008年

3 曹玮;基于SSH协议的WebShell系统的设计与实现[D];北京交通大学;2012年

【共引文献】

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

1 吴名欢;程小辉;;物联网中安全通信协议的形式化分析[J];桂林理工大学学报;2013年02期

2 吴名欢;程小辉;;基于CSP的物联网David数字图书馆协议的改进与形式化分析[J];计算机科学;2014年01期

3 吴名欢;程小辉;李雄伟;;利用CSP方法对IEEE 802.11w形式化分析[J];计算机应用研究;2015年05期

4 杨春龙;;SSH协议在资源监控系统数据传输中的应用[J];软件;2013年09期

5 牛乐园;;TLS1.2协议安全性分析[J];软件导刊;2015年05期

6 杨伊彤;;基于SAML2.0的单点登录模型及其安全性研究[J];软件导刊;2015年10期

7 赵梦龙;唐郑熠;;基于连续ARQ协议的隐蔽洪水攻击[J];计算机技术与发展;2012年10期

8 陈伟;杨伊彤;牛乐园;;改进的OAuth2.0协议及其安全性分析[J];计算机系统应用;2014年03期

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

1 李林;基于计算密码学的无线网络协议自动化分析研究[D];中南民族大学;2011年

2 邵飞;基于概率进程演算的安全协议自动化分析技术研究[D];中南民族大学;2011年

3 赵国威;安全协议形式化自动验证工具AVISPA的研究[D];吉林大学;2013年

4 高福来;一种计算集群作业预调度系统模型的设计与实现[D];华南理工大学;2014年

5 冯志伟;网络安全设备联动策略的研究与应用[D];华北电力大学;2014年

6 杨春龙;国产系统软件监控系统中数据采集功能的设计与实现[D];北京邮电大学;2014年

【二级参考文献】

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

1 陈连波;;WEB信息系统测试技术研究[J];电脑知识与技术;2009年04期

2 张杰,戴英侠;SSH协议的发展与应用研究[J];计算机工程;2002年10期

3 马怀磊;郭华;庄雷;;基于模型检测的不可靠环境下电子商务协议分析[J];计算机工程与科学;2007年10期

4 龙士工,王巧丽,李祥;密码协议的Promela语言建模及分析[J];计算机应用;2005年07期

5 郑清雄;;基于Spi演算的安全协议验证[J];计算机应用与软件;2011年03期

6 胡集仪;;使用JSON改进WEB数据传输[J];科技信息;2008年35期

7 薛锐;雷新锋;;安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J];中国科学院院刊;2011年03期

8 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期

9 李文兵;马世龙;;基于Dojo的Web组件框架[J];计算机工程与设计;2007年23期

10 刘怡文,李伟琴,冯登国;密码协议的一种基于组合推理的模型验证[J];通信学报;2003年09期

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

1 陈蛟;一种基于AJAX技术的Web应用框架的设计与实现[D];北京邮电大学;2008年

2 薛喜平;基于Struts与Hibernate的教师资源管理系统的设计与实现[D];北京交通大学;2009年

3 朱玉娜;密码协议符号分析方法的计算可靠性研究[D];解放军信息工程大学;2008年

4 马春波;基于模板技术的J2EE应用代码自动化生成工具的设计与开发[D];复旦大学;2009年

【相似文献】

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

1 朱文也;祝跃飞;刘楠;陈晨;;TA4SP的认证性扩展[J];计算机工程;2010年02期

2 肖茵茵;苏开乐;;电子商务支付协议认证性的SVO逻辑验证[J];计算机工程与应用;2014年08期

3 余磊;顾维娜;王猛;;基于串空间极小元理论的改进Woo-Lam协议的认证性分析[J];电脑编程技巧与维护;2010年04期

4 赵华伟;秦静;;一种可分析保密性与认证性的模态逻辑[J];计算机工程;2007年20期

5 苏伟;徐开勇;孙磊;;基于XML的移动Web Service应用研究[J];信息工程大学学报;2008年02期

6 温雅敏;龚征;;一个新型不可关联秘密握手方案[J];计算机工程;2013年03期

7 ;[J];;年期

  本文关键词：计算模型下的SSHV2协议认证性自动化分析，由笔耕文化传播整理发布。

本文编号：493430