Set von Software, Firmware und Hardware (wo jeder dieser drei könnte fehlen), die den Zugang von einer Menge von Themen eine Reihe O von Objekten auf der Grundlage einer angegebenen Vermittlung Zugriffsrichtlinie P vermittelt und erfüllt die Eigenschaften: (1) M vermittelt jeder Zugriff auf Objekte in O Unterrichtsfächer in S; (2) M ist Tamper resistant; und (3) M ist klein genug, um Analysen und Prüfungen, die Vollständigkeit von denen gewährleistet werden kann, unterliegen.