Secure state とは

セキュア状態とは、コンピュータシステム内のエンティティがサブジェクトとオブジェクトに分割される場所を記述する情報システムセキュリティ用語であり、各状態遷移があるセキュア状態から別のセキュア状態に移行することによってセキュリティを保護することが正式に証明されています。これにより、システムが安全であることが誘導的に証明される。ベル・ラパドゥラ(Bell-LaPadula)モデルで定義されているように、セキュアな状態は、システム内の許容可能な状態のセットを有する状態機械の概念上に構築される。ある状態から別の状態への遷移は、遷移関数によって定義される。
オブジェクトに対するサブジェクトの唯一許可されたアクセスモードがセキュリティポリシーに従っている場合、システム状態は「安全」であると定義される。