Video: What's an algorithm? - David J. Malan 2024
A Trusted Computing Base (TCB) is het volledige complement van beschermingsmechanismen binnen een computersysteem (inclusief hardware, firmware en software) die verantwoordelijk is voor het afdwingen van een beveiligingsbeleid. Een beveiligingsperimeter is de grens die de TCB van de rest van het systeem scheidt.
Toegangsbeheer is de mogelijkheid om het gebruik van een object (een passieve entiteit, zoals een systeem of bestand) door een subject (een actieve entiteit, zoals een individu of een proces).
A referentiemonitor is een systeemcomponent die toegangscontrole op een object afdwingt. Anders gezegd, een referentiemonitor is een abstracte machine die alle toegang tot een object door een subject bemiddelt.
Een beveiligingskernel is de combinatie van hardware, firmware en software-elementen in een Trusted Computing Base die het concept van de referentiemonitor implementeert. Drie vereisten van een beveiligingskernel zijn dat deze
- Bemiddeling voor alle toegang
- Beschermd tegen wijziging
- Wees als correct geverifieerd