Abstract
Title:
Your system is secure? Prove it!Authors:
Gernot Heiser School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
National ICT Australia, 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}
}