1975 · 15 citations · 3 references
ComputingComputer ScienceComputer SystemsComputer SecurityFormal MethodsOperating SystemsFile SystemsKernel ArchitectureKernel DesignOperating System SecuritySecure System DesignSystem SecurityInformation Flow ControlKernel SecuritySecure Information FlowSecure Operating System DesignSystem Segmentation
Certifying an entire operating system to be reliable is too large a task to be practicable. Instead, we are designing a Security Kernel which will provide information security. The kernel's job is to monitor information flow in order to prevent compromise of security.
3
Cooperating Sequential Processes
E. Dijkstra · 1968 · 349 citations · Full text
On synchronization primitive systems
Richard J. Lipton · 1973 · 21 citations