The most common set of criteria for trusted operating system design is the Common Criteria combined with the Security Functional Requirements (SFRs) for Labeled Security Protection Profile (LSPP) and mandatory access control (MAC).
Nejběžnější množina pravidel pro důvěryhodné operační systémy jsou Common Criteria, což jsou mezinárodně uznávaná bezpečnostní osvědčení v kombinaci s funkčními bezpečnostními požadavky (SFR) pro LSPP („označené bezpečnostní ochranné profily“) a povinné řízení přístupu (MAC).