アクセス制御に関するセキュリティポリシーモデルの調査：IPA 独立行政法人 情報処理推進機構

セキュリティポリシーモデルは、計算機システムが備えるべきセキュリティに関する要件を明解かつ簡潔に記述したものである。それは、システムのセキュリティを設計する際に、セキュアなシステムの抽象的な概念を与えるガイドラインであると同時に、システムのセキュリティを形式的・数理論理学的に分析する基点となる。計算機システムのセキュリティは個々の脅威に対する個別の対策の寄せ集めでは達成せず、システム全体のセキュリティを統一的に設計した上で構築し、そのセキュリティを評価すべきである。その際の統一的アプローチの理論的よりどころがセキュリティポリシーモデルである。 したがってセキュリティポリシーモデルには、適用システム全体を抽象化し、セキュリティポリシーを正確に記述でき、システム全体のセキュリティ上の特性の分析を可能とすることが求められ、さらに構築したシステムがセキュアであることの検証にも利用できることが望まし

[penguins]

アクセス制御のセキュリティポリシーモデルを検討する時の資料