Which of the following evaluation assurance level that is formally verified, designed and tested is expected for high risk situation?
A.
EAL 1
B.
EAL 3
C.
EAL 5
D.
EAL 7
Explanation:
D: EAL 7 is the only one that given after the product is formally verified, designed, and tested. All the other levels of assurances are not formally verified. Page 698.