Un estado seguro es un término de seguridad de los sistemas de información para describir dónde se dividen las entidades en un sistema informático en sujetos y objetos, y se puede probar formalmente que cada transición de estado preserva la seguridad al pasar de un estado seguro a otro estado seguro. De este modo se puede probar inductivamente que el sistema es seguro. Como se define en el modelo Bell-LaPadula , el estado seguro se basa en el concepto de una 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.
Un estado del sistema se define como "seguro" si los únicos modos de acceso permitidos de sujetos a objetos están de acuerdo con una política de seguridad .
Ver también
Referencias
- Fisch, Eric A .; White, Gregory B. (2000), Computadoras y redes seguras: análisis, diseño e implementación , Boca Raton: CRC Press, págs. 39–42, ISBN 9780849318689, OCLC 849972357 , consultado el 13 de marzo de 2018