文献

J-GLOBAL ID：201802234929818867   整理番号：18A0883232

タイムスタンプ鍵署名技術に基づくNayak-Tプロトコルセキュリティ解析【JST・京大機械翻訳】

Security analysis of Nayak-T protocol based on time stamp and private key signature

著者 (6件)： Xiao Meihua (華東交通大学軟件学院,江西南昌,330013) ,  Mei Yingtian (華東交通大学軟件学院,江西南昌330013;池州職業技術学院,安徽池州247100) ,  Li Wei (華東交通大学軟件学院,江西南昌,330013) ,  Li Yanan (華東交通大学軟件学院,江西南昌,330013) ,  Zhong Xiaomei (華東交通大学軟件学院,江西南昌,330013) ,  Song Zifan (華東交通大学軟件学院,江西南昌,330013)
資料名： Jisuanji Gongcheng Yukexue  (Jisuanji Gongcheng Yukexue)
巻： 39  号： 12  ページ： 2252-2259  発行年： 2017年 
JST資料番号： C2938A  ISSN： 1007-130X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 情報ネットワークの急速な発展に伴い、クラウドサービスが人々の視野を歩み、クラウド環境下の情報セキュリティ問題が人々の注目を浴びている焦点となり、Nayakプロトコルは1種のクラウド環境でパスワードアイデンティティ認証に基づいて、双方向認証とセッション鍵交換を実現するプロトコルである。Nayakプロトコルに存在する中間者攻撃に対して、改良プロトコルNayak-T.Nayak-Tプロトコルを提案し、メッセージ項目内にタイムスタンプを追加し、暗号化手段を変更し、二重暗号化の手段により、双方の通信安全を保証する。Nayak-Tプロトコルを4チャネル並列モデリングによってモデル化し,このプロトコルをSPINによって検証し,その結果,Nayak-Tプロトコルのセキュリティを証明した。モデル最適化戦略の分析は,静的解析,タイプ検査,および文法再順序モデル最適化戦略が,複雑なプロトコルの形式的分析および検証に適用可能である,ということを証明した。.この最適化戦略のモデルの検出効率は,最適である.。..............................Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *プロトコル ,  *安全解析 ,  最適化 ,  認証 ,  安全性 ,  高速度 ,  情報ネットワーク ,  暗号 ,  通信 ,  検出効率 ,  モデリング ,  情報セキュリティ ,  *セキュリティ
準シソーラス用語： クラウドサービス ,  *タイムスタンプ , 【Automatic Indexing@JST】

著者キーワード (5件)： Nayak protocol ,  Nayak-T protocol ,  model checking ,  private key signature ,  time stamp

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (5件)： タイムスタンプ ,  鍵 ,  署名 ,  プロトコル ,  セキュリティ解析