It's time for trustworthy systems

Authors

Gernot Heiser, Toby Murray and Gerwin Klein

NICTA, Sydney, Australia
UNSW, Australia

Abstract

The time has arrived for truly trustworthy systems, backed by machine-checked proofs of security and reliability. Research demonstrates that formal whole-system analysis that applies to the C and binary implementation level is feasible, including proofs of integrity, authority confinement, confidentiality, and worst-case execution time. Because these proofs build on previous results, they become easier each year. However, they do have some limitations.

BibTeX Entry

  @article{Heiser_MK_12,
    author           = {Gernot Heiser and Toby Murray and Gerwin Klein},
    title            = {It's Time for Trustworthy Systems},
    journal          = {IEEE: Security and Privacy},
    number           = {2},
    month            = {mar},
    volume           = {2012},
    year             = {2012},
    pages            = {67--70}
  }

Download

Served by Apache on Linux on seL4