[論文レビュー] SoK: An Analysis of Protocol Design: Avoiding Traps for Implementation and Deployment

Tobias Fiebig, Franziska Lichtblau+5 more|arXiv (Cornell University)|Oct 18, 2016

Security and Verification in Computing参考文献 85被引用数 4

ひとこと要約

この論文は、誤設定やセキュリティ脆弱性を引き起こすインターネットプロトコル設計上の欠陥を体系的に分析し、攻撃者強度とセキュリティパラダイムに基づいてプロトコルを4つのクラスに分類する。繰り返し発生する設計の罠を特定し、現代の展開環境に適した、セキュリティがデフォルトで確保され、使いやすく相互運用可能なプロトコルを構築するための実行可能な推奨事項を提示する。

ABSTRACT

Today's Internet utilizes a multitude of different protocols. While some of these protocols were first implemented and used and later documented, other were first specified and then implemented. Regardless of how protocols came to be, their definitions can contain traps that lead to insecure implementations or deployments. A classical example is insufficiently strict authentication requirements in a protocol specification. The resulting Misconfigurations, i.e., not enabling strong authentication, are common root causes for Internet security incidents. Indeed, Internet protocols have been commonly designed without security in mind which leads to a multitude of misconfiguration traps. While this is slowly changing, to strict security considerations can have a similarly bad effect. Due to complex implementations and insufficient documentation, security features may remain unused, leaving deployments vulnerable. In this paper we provide a systematization of the security traps found in common Internet protocols. By separating protocols in four classes we identify major factors that lead to common security traps. These insights together with observations about end-user centric usability and security by default are then used to derive recommendations for improving existing and designing new protocols---without such security sensitive traps for operators, implementors and users.

研究の動機と目的

• 誤設定や展開上の脆弱性を引き起こすインターネットプロトコル設計における共通のセキュリティの罠を特定・体系化すること。
• 歴史的な設計の前提、特に攻撃者強度やセキュリティ目標に関する仮定が、継続的なセキュリティインcidnetにどのように寄与しているかを分析すること。
• 繰り返し発生する誤設定を防ぐために、プロトコルの規定と展開を改善するための実用的で実行可能な推奨事項を導出すること。
• 現代のプロトコル開発において、使いやすさ、セキュリティがデフォルトで確保されること、エンドユーザー中心の設計の重要性を強調すること。
• 複雑で壊れやすいセキュリティメカニズムから、単純でスケーラブルかつ相互運用可能な解決策へのシフトを提唱すること。こうした解決策は誤設定に対して耐性を持つべきである。

提案手法

• 攻撃者強度（弱い vs. 強い）とセキュリティパラダイム（十分なレベル vs. 完全なセキュリティ）という2つの次元に基づき、プロトコルを4つの設計の四象限に分類すること。
• 各四象限から代表的なプロトコル（例：SMTP、DNS、IPSec、HTTPベースのプロトコル）を選び、具体的な設計上の欠陥と誤設定のリスクを同定すること。
• 実際の世界的なインcidnetを根拠として、プロトコル設計上の欠陥が実際に発生したセキュリティ侵害やデータ漏洩にどのように関連しているかを示すこと。
• 観察されたパターンから設計原則を導出し、必須のセキュリティ機能、弱い暗号アルゴリズムの回避、オポチュニスティック暗号化のサポートといった要件を明確にすること。
• セキュリティメカニズムの使いやすさと展開可能性を評価し、安全なデフォルト設定と単純さが採用の鍵を握っていることを強調すること。
• セキュリティ、使いやすさ、設定可能性を初期段階から組み込む、将来のプロトコル設計のためのフレームワークを提言すること。

実験結果

リサーチクエスチョン

• RQ1 インターネットプロトコル設計におけるどのような設計の仮定が、広範な誤設定やセキュリティインシデントを引き起こしているのか？
• RQ2 弱い攻撃者 vs. 強い攻撃者という異なる脅威モデル、および『十分なレベル』vs.『完全なセキュリティ』という異なるセキュリティ目標が、プロトコルの脆弱性プロファイルにどのように影響しているのか？
• RQ3 IPSec や SNMPv3 のような複雑なプロトコルにおいて、強力なセキュリティ目標を有するにもかかわらず、なぜセキュリティ機能がしばしば未使用または誤設定されてしまうのか？
• RQ4 使いやすさが、展開済みプロトコルにおけるセキュリティメカニズムの成功または失敗に果たす役割は何か？
• RQ5 将来のプロトコル設計は、過去の過ちを繰り返さず、多様な展開環境においてセキュリティがデフォルトで確保されるように、どのようにすればよいのか？

主な発見

• 弱い攻撃者と『十分なレベル』のセキュリティを仮定して設計されたプロトコル（例：初期の SMTP や DNS）は、デフォルトで認証や暗号化が最小限または存在しないため、誤設定に強く脆弱である。
• 『新規脅威』クラスに属するプロトコル（ファイアウォールや信頼できる下位レイヤーに依存するもの）は、これらの仮定が崩れた場合に失敗し、境界セキュリティへの過剰な依存のため、広範な露出を引き起こす。
• IPSec や SNMPv3 のような複雑なセキュリティプロトコルは、相互運用性の欠如、実装の複雑さ、古くなった暗号技術の選択により、強力なセキュリティ目標を有しても広範な誤設定を引き起こしている。
• 『新しいシンプルさ』のトレンド（クラウドや HTTP ベースのプロトコルで見られる）は、特に自動車や IoT システムなどの新分野において、認証や承認を無視することで、古くからの欠陥を再発している。
• SSH や現代のメッセージングアプリで実証済みのオポチュニスティック暗号化と強力な相互認証は、使いやすさを損なわずにセキュリティを向上させるために、普遍的に採用すべきである。
• 最も効果的なセキュリティ成果は、複雑な暗号技術ではなく、単純で一貫性があり、使いやすい設計から生まれる。そのような設計では、正しい設定が唯一の可能な選択肢、あるいは最も簡単な選択肢となる。