Research
Software Systems

Your system is secure? Prove it!

Authors

Gernot Heiser



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

Download