Specifikace, která definuje objekty související se zabezpečením dat a pravidla o tom, jak objekty slouží k udržení bezpečnosti v systému počítače.