抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
多くの月の開発プロセスの後,TLS1.3仕様はほぼ完全であった。過去の誤りを防ぐために,この重要なセキュリティプロトコルは配備前に徹底的にscrutinisedなければならない。本研究では,タマリン証明,セキュリティプロトコルの自動解析のためのツールを用いたTLS1.3仕様の改正10をモデル化し,解析した。非有界数同時TLSセッションの種々のハンドシェイクモードの相互作用を特定し,解析した。改正10は両片側および相互認証例における認証鍵交換の目標を満たすことを示した。著者らのモデルは,仕様の次の改正に含まれると思われる特徴,所望の遅延クライアント認証機構を組み込むと敵であるPSK再開ハンドシェイク中のクライアントになりすますに成功することができた可能性のある攻撃を明らかにするために拡張した。この観察は報告され,IETF TLSワーキンググループにより確認した。著者らの研究は,TLS1.3におけるいくつかの複雑なプロトコルモード相互作用の安全のための最初の支持する証拠を提供するだけでなく,プロトコルの署名含量のより多くの情報を含むように最近提案の厳密な必要性を示した。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】