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

来源 :计算机工程 | 被引量 : 0次 | 上传用户:lklolp000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用。针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVerif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性。
其他文献
伴随着互联网技术的快速发展以及市场竞争的日益加剧,网络银行应运而生,近年来,网络银行以其“3A”服务(Anytime、Anywhere、Anyhow)及成本低等优势取得了突飞猛进的发展[1]
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
银行信息披露质量不良可以导致金融危机的发生和蔓延。如果投资者无法判断银行面临的风险,面对系统压力时将收回贷款,加剧银行危机。次贷危机中信息不对称所带来的灾难就是最
<正>一直以来,传统媒体对女性的刻板呈现和传统定位都被作为大众传媒的批判靶向。新媒体的兴起和发展为女性话语权的提升带来了新的契机,女性有了更多的机会参与媒介建构,由
髌骨半脱位为临床常见病,常混淆在膝关节骨性关节炎中,对于髌骨半脱位的诊断与治疗目前尚无统一的标准,故不易引起注意。笔者在临床工作中,应用针灸推拿治疗,疗效满意,现报道如下:
嵌入式钢结构装配化住宅体系是一种全新的钢结构住宅体系。针对这一体系,从主体结构安装、外墙板安装、内墙板安装、钢筋桁架混凝土叠合楼板安装及楼梯安装5个方面入手研究,
近年来,风险投资在全世界范围内迅速发展,风险投资对技术进歩的影响也越来越明显。目前,越南的经济增长势头迅猛,需要大量资金来推动高新技术行业的发展,而风险投资的对象主
银行业是发展我国经济的重要支撑体系,商业银行的助推作用为我国的现代化建设做出了重大贡献。十八届三中全会的召开为城市商业银行的发展开拓了广阔的前景,哈尔滨银行作为一
植根于民族传统基础,吸取西方艺术中有益的营养,从而使中西画法在自己的绘画艺术中达到完美的融和是一件十分困难的事。青年画家李晓明的绘画艺术,却能较好地做到了这一点。