Summary
  • Multimedia Databases
  • Knowledge-Based Systems
  • Web-Based Systems
  • Web Security
  • Operating System Security
    • Basics
    • Access Control
    • Policies And Models
    • Multics
    • Linux Security Modules
    • Security Kernels
    • Virtual Machines
    • Trusted Execution
    • Exercises
    • References
  • Natural Language Processing (CS224N)
  • Information Retrieval and Web Search Engines
  • Distributed Data Management
  • Relational Database Systems 2
  • Data Warehousing and Data Mining Techniques
Summary
  • Docs »
  • Operating System Security »
  • References
  • View page source

ReferencesΒΆ

  1. Jaeger. 2008. Operating system security.
  2. Lampson. 1974. Protection
  3. Multics Summary
  4. Multics Data Security
  5. Wright et al. 2002. Linux Security Modules: General Security Support for the Linux Kernel.
  6. Zhang et al. 2002. Using CQUAL for Static Analysis of Authorization Hook Placement
  7. Bell/LaPadula. 1976. Secure Computer System: Unified Exposition And Multics Interpretation
  8. Ames et al. 1983. Security Kernel Design and Implementation: An Introduction
  9. Herder et al. 2009. Fault isolation for device drivers
  10. Karger et al. 1991. A retrospective on the VAX VMM security kernel
  11. Belay et al. 2012. Dune: Safe User-level Access to Privileged CPU Features
  12. Ta-Min et al. 2006. Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
  13. Kaplan et al. 2016. AMD Memory Encryption
  14. Jain et al. 2017. A Clairvoyant Approach to Evaluating Software (In)Security
  15. Kurmus et al. 2014. Quantifiable Run-Time Kernel Attack Surface Reduction
  16. McCune et al. 2010. TrustVisor: Efficient TCB Reduction and Attestation
  17. Elphinstone et al. 2013. From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
  18. Tsai et al. Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX
  19. Baumann. 2017. Hardware is the new Software
Next Previous

© Copyright 2019, Johannes Ruthmann

Built with Sphinx using a theme provided by Read the Docs.