Ορισμός του λογισμικού, του υλικολογισμικού, και υλικό (όπου οποιοδήποτε από αυτά τα τρία θα μπορούσε να απουσιάζει) που μεσολαβεί η πρόσβαση ενός συνόλου θέματα σε ένα σύνολο αντικειμένων με βάση μια πολιτική διαμεσολάβηση δηλωμένο πρόσβαση P O S και να πληροί τις ιδιότητες: (1) M μεσολαβεί κάθε πρόσβαση στα αντικείμενα σε O από θέματα σε Ν· (2) M είναι δυνάμενη? και (3) M είναι αρκετά μικρό για να υπόκειται σε ανάλυση και τις δοκιμές, η πληρότητα των οποίων μπορούν να είναι σίγουροι.