Ensemble de logiciels, progiciels et matériel (où aucun de ces trois pourrait être absent) qui intervient dans l'accès d'un ensemble S de sujets à un ensemble O d'objets sur la base d'une politique de médiation indiqué accès P et satisfait les propriétés: (1) M intervient dans chaque accès aux objets dans O sujets de S ; (2) M est inviolable ; et (3) M est assez petit pour être soumis à l'analyse et les essais, l'intégralité des qui peut être assurée.