计算机系统应用
計算機繫統應用
계산궤계통응용
APPLICATIONS OF THE COMPUTER SYSTEMS
2014年
3期
25-30,39
,共7页
认证性%计算模型%自动化验证%安全协议
認證性%計算模型%自動化驗證%安全協議
인증성%계산모형%자동화험증%안전협의
authentication%computational model%automatic verification%security protocol
随着OAuth2.0协议的广泛应用,其安全性受到了人们的重点关注.为了增强OAuth2.0协议的安全性,本文首先引入数字签名技术,提出一个改进的OAuth2.0协议.它支持授权服务器对资源拥有者和客户端的身份认证.并且在计算模型下基于Blanchet演算,应用一致性对授权服务器认证资源拥有者和客户端进行建模,最后使用自动化工具CryptoVerif分析和证明了其认证性.
隨著OAuth2.0協議的廣汎應用,其安全性受到瞭人們的重點關註.為瞭增彊OAuth2.0協議的安全性,本文首先引入數字籤名技術,提齣一箇改進的OAuth2.0協議.它支持授權服務器對資源擁有者和客戶耑的身份認證.併且在計算模型下基于Blanchet縯算,應用一緻性對授權服務器認證資源擁有者和客戶耑進行建模,最後使用自動化工具CryptoVerif分析和證明瞭其認證性.
수착OAuth2.0협의적엄범응용,기안전성수도료인문적중점관주.위료증강OAuth2.0협의적안전성,본문수선인입수자첨명기술,제출일개개진적OAuth2.0협의.타지지수권복무기대자원옹유자화객호단적신빈인증.병차재계산모형하기우Blanchet연산,응용일치성대수권복무기인증자원옹유자화객호단진행건모,최후사용자동화공구CryptoVerif분석화증명료기인증성.
