Tugurium/GTI

Glosario Terminología Informática

formal security policy model

0 modelo de política de seguridad formal
Declaración matemáticamente exacta de una política de seguridad. Este modelo debe definir un estado seguro, un estado inicial, y cómo el modelo representa los cambios de estado. El modelo debe demostrarse seguro mediante la prueba de la seguridad del estado inicial y de todos los posibles estados posteriores que deben seguir siendo seguros.
2009-02-25