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.