计算机工程
計算機工程
계산궤공정
Computer Engineering
2015年
10期
148-154
,共7页
牛乐园%杨伊彤%王德军%孟博
牛樂園%楊伊彤%王德軍%孟博
우악완%양이동%왕덕군%맹박
第二代安全内壳协议%安全协议%计算模型%认证性%CryptoVerif工具%自动化分析
第二代安全內殼協議%安全協議%計算模型%認證性%CryptoVerif工具%自動化分析
제이대안전내각협의%안전협의%계산모형%인증성%CryptoVerif공구%자동화분석
Secure Shell Version 2 (SSHV2) protocol%security protocol%computational model%authentication%CryptoVerif tool%automatic analysis
安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用.针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet 演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVefif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性.
安全內殼(SSH)協議可以實現本地主機與遠程節點的網絡文件傳輸、遠程登錄、遠程命令執行及其他應用程序的安全執行,其在保障網絡安全方麵髮揮著重要作用.針對第二代安全內殼(SSHV2)協議的安全性進行研究,介紹SSHV2協議體繫結構,解析齣認證消息的消息結構,基于計算模型應用概率多項式進程縯算,即Blanchet 縯算,對SSHV2安全協議進行形式化建模,併應用安全協議自動化分析工具CryptoVefif分析其認證性,結果錶明,在計算模型下SSHV2安全協議具有認證性.
안전내각(SSH)협의가이실현본지주궤여원정절점적망락문건전수、원정등록、원정명령집행급기타응용정서적안전집행,기재보장망락안전방면발휘착중요작용.침대제이대안전내각(SSHV2)협의적안전성진행연구,개소SSHV2협의체계결구,해석출인증소식적소식결구,기우계산모형응용개솔다항식진정연산,즉Blanchet 연산,대SSHV2안전협의진행형식화건모,병응용안전협의자동화분석공구CryptoVefif분석기인증성,결과표명,재계산모형하SSHV2안전협의구유인증성.
