The road to trustworthy systems
Gernot Heiser, June Andronick, Kevin J. Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk · 2010
Computer systems are routinely deployed in life- and mission-critical situations, yet their security, safety or dependability can in most cases not be assured to the degree warranted by the application. In other words, trusted computer systems are rarely really trustworthy.