Your system is secure? Prove it!

Authors

Gernot Heiser

    School of Computer Science and Engineering
    University of New South Wales
    Sydney 2052 Australia
    
    NICTA, Sydney, Australia

    Open Kernel Labs, Sydney, Australia

Abstract

Computer security is an old problem which has lost none of its relevance—as is evidenced by the annual Security issue of ;login:. The systems research community has increased its attention to security issues in recent years, as can be seen by an increasing number of security-related papers published in the mainstream systems conferences SOSP, OSDI, and USENIX. However, the focus is primarily on desktop and server systems.

BibTeX Entry

  @article{Heiser_07,
    author           = {Gernot Heiser},
    journal          = {USENIX ;login:},
    title            = {Your System is Secure? Prove it!},
    number           = {6},
    month            = {Dec},
    volume           = {32},
    year             = {2007},
    pages            = {35--38}
  }

Download

• Heiser_07.pdf