Estado seguro

Un estado seguro es un término de seguridad de sistemas de información que describe la división de las entidades en sujetos y objetos dentro de un sistema informático . Se puede demostrar formalmente que cada transición de estado preserva la seguridad al pasar de un estado seguro a otro. De este modo, se puede demostrar inductivamente que el sistema es seguro. Tal como se define en el modelo de Bell-LaPadula , el estado seguro se basa en el concepto de máquina de estados con un conjunto de estados permitidos en un sistema. La transición de un estado a otro se define mediante funciones de transición.

Se considera que un estado del sistema es "seguro" si los únicos modos de acceso permitidos de los sujetos a los objetos están de acuerdo con una política de seguridad .

• Modelo de Bell-LaPadula
• TCSEC - El Libro Naranja