Which Orange Book security rating requires that formal techniques are used to prove the
equivalence between the TCB specifications and the security policy model?
![PrepAway - Latest Free Exam Questions & Answers](https://www.briefmenow.org/img/pa5.jpg)
A.
B2
B.
B3
C.
A1
D.
A2
Explanation:
Pg 226 Shon Harris: All-in-One CISSP Certification