Search Results

• BuildSecurityAbstractionsIntoCapabilities
• CapabilityComputing
• CapabilitySecurityDiscussion
• CapabilitySystem
• CategoryOperatingSystem
• ChangesInJanuaryEleven
• ClosedSourceIsLessSecure
• CoyotOs
• DanglingPointer
• ErosOs
• FileSystemAlternatives
• FileTypingSystem
• InterfaceDefinitionLanguage
• KeyKos
• LinuxVsHurd
• ManagedCode
• NoMoreDatabases
• ObjectCapabilityModel
• ObjectCapabilityOperatingSystem
• OpenSourceIsLessSecure
• OperatingSystemDesigners
• OperatingSystemsDesignPrinciples
• ProcessIsolation
• ProgrammersAreNotProfessionals
• ProgrammingWithoutRamDiskDichotomy
• RevokableCapabilities
• TheUnixHatersHandbook
• TransClusion
• TransparencyAndUniformity
• TransparentPersistence
• WikiOs
• WikiWithProgrammableContent