設定検証を用いた情報漏洩脅威分析方式

摘要

近年のネットワークを利用するサービスの増大により、情報システムからの情報漏洩が問題になっている。 多くのシステムでは、情報漏洩を防止するために、複数のアクセス制御機構を利用しているが、それらを人手で正しく設定することは困難であり、複数の設定が正しく設定されているかを検証する必要がある。 本稿では、パケットフィルタリングと、ファイルアクセス制御の2種類のアクセス制御機構を統合しひとつのモデルとして扱うことで、複数のアクセス制御機構が、アクセスポリシーに違反していないことを検証できる方式を提案する。 また、本方式の実装についてのべ、アクセスポリシーに違反した設定ミスが発見できることを示す。