Security-Enhanced Linux: Implementation of a Formal Security Architecture

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “Security-enhanced linux: Implementation of a formal security architecture,” presented at the Research seminar of the research group “software engineering,” Univeristy of Freiburg, Freiburg, Germany, Jun. 22, 2001. Author copy: https://logicalhacking.com/publications/talk-brucker-security-enhanced-2001/

BibTeX
@Unpublished{ talk:brucker:security-enhanced:2001,
  date       = {2001-06-22},
  title      = {Security-Enhanced Linux: Implementation of a Formal Security
                Architecture},
  author     = {Achim D. Brucker},
  areas      = {security, formal methods, security},
  eventtitle = {Research Seminar of the Research Group ``Software
                Engineering''},
  venue      = {Univeristy of Freiburg, Freiburg, Germany},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-security-enhanced-2001/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-security-enhanced-2001/talk-brucker-security-enhanced-2001.pdf},
}