Une petite, autonome collection des principaux énoncés relatifs à la sécurité qui fonctionne dans le cadre privilégié du système d'exploitation, de spécification et de l'application, les critères qui doivent être remplies pour les programmes et les données accessibles.