Biba e Bell-LaPadula sono modelli generici. Un parametro di questi modelli generici è una politica di sicurezza multilivello.
Una politica di sicurezza multilivello è una coppia (DOMS, ≤) dove (DOMS, ≤) è un set parzialmente ordinato e DOMS è un insieme di domini di sicurezza (questo è ciò che ti riferisci a come livello).
Un reticolo è un quadruplo (L, ≤, ⊓, ⊔) dove (L, ≤) è un insieme parzialmente ordinato, ⊓ è un operatore con limite minimo superiore su (L, ≤ ), e ⊔ è un operatore con limite inferiore più elevato su (L, ≤).
Non tutti i criteri di sicurezza a più livelli sono un reticolo, ma esistono dei criteri di sicurezza multilivello che sono reticolari.
Si potrebbe creare un'istanza dei modelli Biba e Bell-LaPadula con una politica di sicurezza multilivello che è un reticolo, ma non è necessario.