Een specificatie die definieert zekerheidstelling-verwantschapt gegevensobjecten en regels over hoe de objecten worden gebruikt om veiligheid op een computersysteem te handhaven.