Re: TOE Security Policy Model



Paragraph 367 of V2.1 of the CC does not contain the word "formally". Moreover, 
the sort of model to be produced is specified elsewhere in the CC.





Date Index | Thread Index | Problems or questions? Contact list-master@nist.gov