2002 · 153 citations · 12 references
ComputingComputer ScienceComputer SystemsComputer SecuritySecurity ArchitectureSecurity PolicyOperating System SecuritySecurity ControlsSoftware Security EngineeringSystem SecurityEnforcementObject Code ProtectionRuntime Policy EnforcementSecurity EnforcementSecurity ImplementationSecurity Policy Specification
SASI (Security Automata SFI Implementation) enforces security policies by modifying object code for a target system before that system is executed. The approach has been prototyped for two rather different machine architectures: Intel x86 and Java JVML. Details of these prototypes and some generalizations about the SASI approach are discussed.
12
George C. Necula · 1997 · 1.8K citations
Efficient software-based fault isolation
Robert Wahbe, Steven Lucco, Thomas E. Anderson et al. · 1993 · 1.2K citations · Full text
Extensibility safety and performance in the SPIN operating system
Brian N. Bershad, Stefan Savage, Przemysław Pardyak et al. · 1995 · 955 citations
Efficient software-based fault isolation
Robert Wahbe, Steven Lucco, Thomas E. Anderson et al. · ACM SIGOPS Operating Systems Review · 1993 · 249 citations
Flexible policy-directed code safety
David Evans, Andrew R. Twyman · 2003 · 199 citations