File:Greve03separation.pdf
From ITTC
Greve03separation.pdf (file size: 159 KB, MIME type: application/pdf)
David Greve and Matthew Wilding, "A Separation Kernel Formal Security Policy", Rockwell Collins, March 2003, citeseer.ist.psu.edu/685128.html
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 10:13, 7 February 2008 | (159 KB) | Dandrews (Talk | contribs) | David Greve and Matthew Wilding, "A Separation Kernel Formal Security Policy", Rockwell Collins, March 2003, citeseer.ist.psu.edu/685128.html |
- You cannot overwrite this file.
Links
The following pages link to this file:
