J. Rushby. Specification and Design of Secure Systems. Technical Report SSM/6, Computing Laboratory, University of Newcastle upon Tyne, March, 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Kit: A Study in Operating System Verification - Bevier (1989) (23 citations) (Correct)
....[Popek 79, Walker 80] KVM 370 [Gold 79] and SCOMP [Fraim 83] The Secure Ada Target (SAT, now called LOCK) Boebert 85] is an ongoing project at Honeywell. Landwehr [Landwehr 83] gives a useful summary of the state of the art circa 1983. Rushby criticizes the kernel approach to system security [Rushby 81b] We do not repeat his argument, but point out that the alternative approach to security which he proposes results in a mandate for the type of verification carried out for Kit: a proof of the isolation of processes implemented in a shared environment. Rushby calls this a separation kernel. ....
J. Rushby. Specification and Design of Secure Systems. Technical Report SSM/6, Computing Laboratory, University of Newcastle upon Tyne, March, 1981.
A Verified Operating System Kernel - Bevier (1987) (12 citations) (Correct)
No context found.
J. Rushby. Specification and Design of Secure Systems. Technical Report SSM/6, Computing Laboratory, University of Newcastle upon Tyne, March, 1981.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC