Which of the following rate systems of Orange book has mandatory protection of the Trusted Computing Base (TCB)?