文献

J-GLOBAL ID：201702267922546023   整理番号：17A1595461

改良OpenID Connectプロトコルとそのセキュリティ解析【JST・京大機械翻訳】

Improvement of OpenID Connect protocol and its security analysis

著者 (4件)： Lu Jindian (中南民族大学計算机科学学院,武漢,430074) ,  Yao Lili (中南民族大学計算机科学学院,武漢,430074) ,  He Xudong (中南民族大学計算机科学学院,武漢,430074) ,  Meng Bo (中南民族大学計算机科学学院,武漢,430074)
資料名： Jisuanji Yingyong  (Jisuanji Yingyong)
巻： 37  号： 5  ページ： 1347-1352  発行年： 2017年 
JST資料番号： C2535A  ISSN： 1001-9081  CODEN： JYIIDU  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： OpenID Connectプロトコルは最新の単一点登録プロトコルの一つであり、すでにユーザーの身分認証の分野に広く応用され、その安全性は人々の注目を集めている。OpenID Connectプロトコルの安全性を強化するために,最初に,ディジタル署名と非対称暗号化技術を導入して,改良したプロトコルの秘密性と認証性に焦点を合わせた。第二に,記号モデルに基づいて,改良したOpenID Connectプロトコルを,PI演算を用いてモデル化した。改良されたプロトコルの認証と秘密性を検証するために,非単射性とqueryを用いて,認証と秘密性をモデル化した。最後に,改良されたOpenID ConnectプロトコルのためのPI演算モデルをセキュリティプロトコル解析ツールProVerifの入力に変換し,ProVerifを用いて形式的に解析した。実験結果は,改良されたOpenID Connectプロトコルには認証と秘密性があることを示している。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *安全解析 ,  非対称性 ,  認証 ,  暗号 ,  *プロトコル ,  安全性 ,  演算 ,  ディジタル署名 ,  モデリング
準シソーラス用語： 解析ツール ,  セキュリティプロトコル ,  *OpenID , 【Automatic Indexing@JST】

著者キーワード (6件)： aasymmetric encryption ,  digital signature ,  authentication ,  symbol model ,  formal method ,  ProVerif

分類 (2件)： 符号理論  (ND02030R) ,  データ保護  (JD01020V)

タイトルに関連する用語 (3件)： OpenID ,  プロトコル ,  セキュリティ解析