시큐어 스테이트

시큐어 상태는 컴퓨터 시스템 내의 엔티티가 대상과 오브젝트로 분할되는 장소를 기술하는 정보 시스템 보안 용어이며, 각 상태의 이행이 하나의 시큐어 상태에서 다른 시큐어 상태로 이행함으로써 시큐어 상태를 유지하는 것을 정식으로 증명할 수 있습니다.따라서 시스템이 안전하다는 것을 유도적으로 증명할 수 있습니다.Bell-LaPadula 모델에서 정의된 바와 같이 보안 상태는 시스템 내에서 허용되는 일련의 상태를 가진 상태 시스템의 개념을 기반으로 구축됩니다.한 상태에서 다른 상태로의 전환은 전환 함수에 의해 정의됩니다.

서브젝트에서 오브젝트에 대한 접근모드가 보안 정책에 준거하고 있는 경우 시스템 상태는 "안전"으로 정의됩니다.