Research
Software Systems

Your system is secure? Prove it!

Authors

Gernot Heiser

NICTA

UNSW

Open Kernel Labs

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,
    journal          = {USENIX ;login:},
    author           = {Heiser, Gernot},
    month            = {dec},
    volume           = {32(6)},
    year             = {2007},
    title            = {Your system is secure? Prove it!},
    pages            = {35–38}
  }

Download