Your system is secure? Prove it!

Authors

Gernot Heiser

NICTA, Sydney, Australia
UNSW, 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},
    title            = {Your System is Secure? Prove it!},
    journal          = {USENIX ;login:},
    number           = {6},
    month            = {dec},
    volume           = {32},
    year             = {2007},
    pages            = {35--38}
  }

Download

Served by Apache on Linux on seL4