本文選題：非對稱加密 + 數(shù)字簽名�。� 參考：《計算機應用》2017年05期

【摘要】：Open ID Connect協(xié)議是最新的單點登錄協(xié)議之一,已經(jīng)廣泛應用于用戶身份認證領域,其安全性受到了人們的重點關注。為增強Open ID Connect協(xié)議的安全性,首先引入數(shù)字簽名及非對稱加密技術,對其進行改進,重點關注改進后協(xié)議的秘密性和認證性;其次基于符號模型,應用應用PI演算對改進的Open ID Connect協(xié)議進行形式化建模;然后為驗證改進后協(xié)議的認證性和秘密性,分別使用非單射性和query對認證性和秘密性進行建模;最后把改進的Open ID Connect協(xié)議的應用PI演算模型轉換為安全協(xié)議分析工具ProVerif的輸入,應用ProVerif對其進行形式化分析。實驗結果表明,改進后的Open ID Connect協(xié)議具有認證性和秘密性。
[Abstract]:Open ID Connect protocol is one of the newest single sign-on protocols and has been widely used in the field of user identity authentication. In order to enhance the security of Open ID Connect protocol, digital signature and asymmetric encryption techniques are introduced to improve the security of the improved protocol, focusing on the secrecy and authentication of the improved protocol. Pi calculus is used to formalize the improved Open ID Connect protocol, and then, in order to verify the authentication and secrecy of the improved protocol, the authentication and secrecy are modeled using non-monojection and query, respectively. Finally, the Pi calculus model of the improved Open ID Connect protocol is transformed into the input of the security protocol analysis tool ProVerif, and the formal analysis is carried out by using ProVerif. Experimental results show that the improved Open ID Connect protocol is authenticated and secret.
【作者單位】： 中南民族大學計算機科學學院;
【基金】：國家自然科學基金資助項目(61272497) 湖北省自然科學基金資助項目(2014CFB249)~~
【分類號】：TP393.08

【相似文獻】

相關期刊論文 前4條

1 陳宇紅,段志弘,董海;第二講 OS/2 Warp Connect[J];中國計算機用戶;1996年06期

2 ;InteropNet 2013:Avaya Fabric Connect出色完成任務[J];電信技術;2013年06期

3 吳平;請個網(wǎng)上“計時工”──Connect Monitor V3.0.3[J];電腦技術;1998年08期

4 ;[J];;年期

相關重要報紙文章 前1條

1 薛以輝;ReefEdge Connect System 3.0讓IP電話動起來[N];中國計算機報;2002年

，

本文編號：1969255