Secure Operating System Design

Secure Operating System Design is a methodological framework within secure system design that specifies the principles, mechanisms, and architectures for constructing operating systems with enforced security policies, isolated processes, controlled resource access, and minimized attack surfaces to ensure confidentiality, integrity, and availability.

Publications

Citations

204

Authors

Institutions

Publications per year

2017–2026

Parents

Secure System Design

Publications

Safeguarding cryptographic keys

G. R. Blakley · 1979 International Workshop on Managing Requirements Knowledge (MARK) · 1979 · 3.4K citations

Computing, Computer Engineering, Computer Science +17

Integrating Flexible Support for Security Policies into the Linux Operating System

Peter Loscocco, Stephen Smalley · 2001 · 528 citations

Computing, Computer Science, Computer Systems +17

Design and verification of secure systems

John Rushby · ACM SIGOPS Operating Systems Review · 1981 · 373 citations

Computing, Computer Engineering, Computer Science +16

The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments

Peter Loscocco, Stephen Smalley, Patrick A. Muckelbauer et al. · 2000 · 223 citations

Computing, Computer Science, Computer Systems +11

Securing distributed systems with information flow control

Nickolai Zeldovich, Silas Boyd-Wickizer, David Mazières · 2008 · 184 citations

Computing, Computer Science, Cybersecurity +17

1–5 of 85

Authors

204

PG
Peter G. Neumann
SRI International, United States
7 publications · 279 citations
7
h-index
GJ
Gerald J. Popek
University of California, Los Angeles, United States
5 publications · 177 citations
5
h-index
KL
Karl Levitt
University of California, Davis, United States
4 publications · 122 citations
4
h-index
MF
M. Frans Kaashoek
Massachusetts Institute of Technology, United States
3 publications · 108 citations
3
h-index
LB
Lawrence Baylor Robinson
University of California, Los Angeles, United States
3 publications · 77 citations
3
h-index

1–5 of 204

Institutions

1–8 of 72

Venues

1979 International Workshop on Managing Requirements Knowledge (MARK)
7 publications · 3.7K citations
7
h-index
ACM SIGOPS Operating Systems Review
5 publications · 556 citations
5
h-index
Software Practice and Experience
2 publications · 69 citations
2
h-index
Defense Technical Information Center (DTIC)
Repository · 2 publications · 62 citations
2
h-index
Computer
2 publications · 144 citations
2
h-index

1–5