An attacker is able to exploit a buffer overflow vulnerability in the code of an operating system which results in unauthorized access to files in the system. The reason for such unauthorized access is that, prior to the exploitation of the operating system or TCB$,$ it did not meet the following requirement.

Group of answer choices

Complete mediation

Correctness

Tamper$-$proof

All of these.