| WIKI | FAQ | Tech FAQ | |
 http://csua.com/feed/ | |
| ||||||
| 5/24 |
| 2000/9/13-14 [Uncategorized] UID:19233 Activity:nil |
9/12 can anyone point to me an example of a formal security proof
that a TCB is secure up to level C or level B? - i'm interested
in what they construe is a formal proof. |