Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 1978 · 15 citations · 18 references
ComputingComputer ScienceComputer SystemsOperating SystemsStorage SystemsSystems ProgrammingData Storage SystemsFile SystemsKernel DesignSynchronization PrimitivesFile System DesignFile System InterfacesFile System SemanticsFile System SynchronizationFilesystem SecuritySubsystem Codes
Computer Science Department
18
A lattice model of secure information flow
Dorothy E. Denning · Communications of the ACM · 1976 · 1.9K citations · Full text
C. A. R. Hoare · Communications of the ACM · 1974 · 1.5K citations · Full text
A note on the confinement problem
Butler Lampson · Communications of the ACM · 1973 · 1.4K citations · Full text
W. Wulf, Ellis Cohen, William M. Corwin et al. · Communications of the ACM · 1974 · 491 citations · Full text
R. S. Fabry · Communications of the ACM · 1974 · 355 citations · Full text