文献

J-GLOBAL ID：201902227129651263   整理番号：19A1505564

プライバシー保持のユーザ認証プロトコルの安全性を,記号モデルに基づいて自動的に分析する。【JST・京大機械翻訳】

Automatic analysis of security of privacy preserving user authentication protocol based on the symbolic model

著者 (3件)： Meng Bo (中南民族大学 計算机科学学院,武漢,430074) ,  Tang Huoye (中南民族大学 計算机科学学院,武漢,430074) ,  Chen Shuang (中南民族大学 計算机科学学院,武漢,430074)
資料名： Zhongnan Minzu Daxue Xuebao (Ziran Kexue Ban)  (Zhongnan Minzu Daxue Xuebao (Ziran Kexue Ban))
巻： 38  号： 1  ページ： 138-143  発行年： 2019年 
JST資料番号： C3234A  ISSN： 1672-4321  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 大データ特徴を利用して、PPMUASプロトコルはモバイルユーザーのプライバシー保護と認証を実現したが、厳格な証明は与えなかった。そこで本論文では、まずAppliedPI演算を用いて、PPMUASプロトコルに対して形式的記述を行い、その後、それぞれ非単射一致性とQueryを用いて、認証性と秘密性をモデル化した。最後に、PPMUASプロトコルのAppliedPI演算モデルをセキュリティプロトコル分析ツールProVerifの入力に変換し、ProVerifを用いて正式分析と証明を行った。その結果,PPMUASプロトコルは秘密であるが,認証性の欠如と解決法を示した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： *プライバシー ,  *安全性 ,  演算 ,  *プロトコル ,  形式記述 ,  *認証 ,  モデリング
準シソーラス用語： 解析ツール ,  セキュリティプロトコル ,  プライバシー保護 ,  モバイルユーザ ,  *認証プロトコル , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (6件)： プライバシー ,  認証プロトコル ,  安全性 ,  記号 ,  モデル ,  分析