File:Rushby.pdf
From ITTC
Rushby.pdf (file size: 76 KB, MIME type: application/pdf)
John Rushby, Design and Verification of Secure Systems, Proceedings of the 8th ACM Symposium on Operating System Principles, December 14-16, 1981 pp. 12-21
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 15:52, 8 February 2008 | (76 KB) | Dandrews (Talk | contribs) | John Rushby, Design and Verification of Secure Systems, Proceedings of the 8th ACM Symposium on Operating System Principles, December 14-16, 1981 pp. 12-21 |
- You cannot overwrite this file.
Links
The following pages link to this file: