Una especificación que define los objetos de datos relacionados con la seguridad y las reglas sobre cómo los objetos se utilizan para mantener la seguridad en un sistema informático.