Gerald J. Popek and David R. Farber. A model for verification of data security in operating systems. Communications of the ACM, 21(9):737--749, September 1978. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Design and Verification of Secure Systems - Rushby (1981) (20 citations) (Correct)
Terminology, Criteria And System Architectures For Data Integrity - Sandhu (1989) (Correct)
Kit: A Study in Operating System Verification - Bevier (1989) (23 citations) (Correct)
Security Models - McLean (1994) (48 citations) (Correct)
Process Migration In Homogeneous Unix Environments - Lu, Liu (Correct)
A Security Model For Military Message Systems - Landwehr, Heitmeyer, McLean (1984) (10 citations) (Correct)
Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (11 citations) (Correct)
Specification and Verification of Security Policies - Peri (1996) (Correct)
The foundations of a provably secure operating system (PSOS) - Richard Feiertag Peter (1979) (1 citation) (Correct)
A Verified Operating System Kernel - Bevier (1987) (12 citations) (Correct)
A Guide to Understanding Security Modeling in Trusted Systems - NCSC (1992) (2 citations) (Correct)
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