Assertion: computer system | /r/MadeOf | hardware/software mechanisms
Facets:
Source sentences:
text: The computer system must contain hardware/software mechanisms which can be independently evaluated to provide sufficient assurance that the system enforces the above requirements.