Задаване на софтуер, фърмуер и хардуера, (където някой от тези три може да бъде отсъства), който посредничи достъпа на определени s на субектите за задаване О от обекти въз основа на установения достъп посредничество политика p и отговаря на свойствата: (1) M да смекчи всеки достъп до обекти в О от теми в S; (2) M е устойчив намеса; и 3 М е достатъчно малки, за да бъде предмет на анализи и тестове, пълнотата на които може да бъде осигурено.