WPF のセキュリティ方針 - セキュリティ エンジニアリング

  • [アーティクル]

信頼できるコンピューティングは、セキュリティで保護されたコードの実稼働環境を確保するための Microsoft イニシアチブです。 信頼できるコンピューティング イニシアチブの重要な要素が、Microsoft セキュリティ開発ライフサイクル (SDL) です。 SDL は、セキュリティで保護されたコードの配信を容易にする標準のエンジニアリング プロセスと組み合わせて使用するエンジニアリングの方法です。 SDL は、ベスト プラクティスと形式化、測定可能性、追加の構造を組み合わせた 10 のフェーズで構成しています。次にこれらを示します。

  • セキュリティ設計の分析

  • ツール ベースの品質チェック

  • 侵入テスト

  • 最終的なセキュリティ レビュー

  • 製品のリリース後のセキュリティ管理

WPF 固有の仕様

WPF エンジニアリング チームは、SDL の適用と拡張の両方を行います。この組み合わせには、次の主要な側面があります。

脅威モデリング

セキュリティ分析および編集ツール

テスト手法

クリティカル コードの管理

脅威モデリング

脅威モデリングは、SDL の主要コンポーネントで、システムをプロファイリングして潜在的なセキュリティの脆弱性を判断するために使用されます。 脆弱性が特定されると、脅威モデリングは、常に適切な緩和策が存在することも保証します。

概略でとらえれば、食料品店を例にすると、脅威モデリングには次の主要な手順が含まれます。

  1. 資産の特定。 食料品店の資産には、従業員、安全、レジ、および在庫などがあります。

  2. エントリ ポイントの列挙。 食料品店のエントリ ポイントには、玄関と裏口、窓、搬入口、および空調装置などがあります。

  3. エントリ ポイントを使用した資産に対する攻撃の調査。 可能性のある攻撃の 1 つは、空調設備のエントリ ポイントを通じた食料品店の安全資産をターゲットとするものです。空調装置のねじが緩められると、そこから食糧品の安全が損なわれ、店自体の損失になる可能性があります。

脅威モデリングは WPF 全体に適用され、次が含まれます。

  • XAML パーサーのファイルの読み取り方法、対応するオブジェクト モデルのクラスへのテキストのマッピング方法、および実際のコードの作成方法。

  • ウィンドウ ハンドル (hWnd) の作成方法、メッセージの送信方法、hWnd を使用したウィンドウの内容の表示方法。

  • データ バインドがリソースを取得し、システムと対話する方法。

これらの脅威モデリングは、開発プロセス中のセキュリティ設計要件の識別と脅威の緩和策にとって重要です。

ソースの分析および編集ツール

SDL の手動セキュリティ コード レビュー要素に加えて、WPF チームは、ソースの分析と関連する編集のためのいくつかのツールを使用してセキュリティの脆弱性を低減します。 さまざまなソースのツールを使用できます。それらは次のとおりです。

  • FXCop:アンマネージド コードを安全に相互運用する方法について、継承ルールからコード アクセス セキュリティの使用法までの範囲にわたる、マネージド コードの一般的なセキュリティの問題を検出します。 FXCop を参照してください。

  • Prefix/Prefast:バッファー オーバーラン、書式設定文字列の問題、エラー チェックなどのアンマネージ コードのセキュリティの脆弱性および一般的なセキュリティの問題を検出します。

  • Banned APIs:ソース コードを検索して、セキュリティ問題の原因としてよく知られている strcpy などの関数が偶発的に使用されていないかを特定します。 そのような関数が特定されると、よりセキュリティの高い代替手段に置き換えられます。

テスト手法

WPF では、さまざまなテスト手法を使用します。それらは次のとおりです。

  • ホワイトボックス テスト:テスト担当者はソース コードを見て、脆弱性攻撃のテストをビルドします。

  • ブラックボックス テスト:テスト担当者は、API と機能を調査してセキュリティの悪用を検出してから、製品の攻撃を試みます。

  • 他の製品でのセキュリティ上の問題の再現:適切な場合は、関連する製品のセキュリティ上の問題がテストされます。 たとえば、Internet Explorer の約 60 件のセキュリティの問題に適した変種を特定して、それが WPF に適用できるかどうかを試します。

  • ファイルのファジー テストを通じたツール ベースの侵入テスト:ファイルのファジー テストでは、ファイル リーダーが行うさまざまな入力を通してその入力範囲を利用するものです。 この手法が使用される WPF の一例は、イメージ デコード コードでエラーを確認することです。

クリティカル コードの管理

XAML ブラウザー アプリケーション (XBAP) の場合、WPF は、特権を昇格させるセキュリティ クリティカルなコードをマークおよび追跡するために、.NET Framework のサポートを使用してセキュリティ サンドボックスをビルドします (「WPF のセキュリティ方針 - プラットフォーム セキュリティ」の「セキュリティ クリティカルな手法」を参照してください)。 セキュリティ クリティカルなコードに対して高度なセキュリティの品質要件を指定すると、このようなコードは、追加レベルのソース管理の制御とセキュリティの監査を受けします。 WPF の約 5 ～ 10% はセキュリティ クリティカルなコードで構成され、専用のレビュー チームによって確認されます。 ソース コードとチェックイン プロセスの管理は、セキュリティ クリティカルなコードを追跡し、各クリティカル エンティティ (重要なコードを含むメソッド) をサイン オフ状態にマップすることにより行われています。 サイン オフ状態には、1 つ以上のレビュー担当者の名前が含まれています。 毎日の WPF のビルドは、前のビルドのクリティカル コードと比較されて、承認されていない変更がチェックされます。 エンジニアがレビュー チームからの承認を得ずにクリティカル コードを変更すると、そのクリティカル コードはすぐに識別および修正されます。 このプロセスにより、WPF サンドボックス コードで特に高いレベルの監視の適用と維持が可能になります。

警告

XBAP が動作するには、インターネット エクスプローラーや Firefox などの従来のブラウザーが必要です。 これらの古いブラウザー バージョンは、通常、Windows 10 や Windows 11 ではサポートされていません。 最新のブラウザーでは、セキュリティ リスクがあるため XBAP アプリに必要なテクノロジがサポートされなくなりました。 XBAP を有効にするプラグインはサポートされなくなりました。

関連項目