The Road to Trustworthy Systems

Select |




Print


Heiser, Gernot; Andronick, June; Elphinstone, Kevin; Klein, Gerwin; Kuz, Ihor; Ryzhyk, Leonid

Heiser, Gernot; Andronick, June; Elphinstone, Kevin; Klein, Gerwin; Kuz, Ihor; Ryzhyk, Leonid


2010-10-04


Conference Material


ACM Workshop on Scalable Trusted Computing


Chicago, IL, USA


3-10


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. We believe that this is highly unsatisfactory, and have embarked on a large research program aimed at bringing reality in line with expectations. In this paper we describe NICTA’s research agenda for achieving true trustworthiness in systems. We report on what has been achieved to date, and what our plans are for the next 3–5 years.


ACM


operating systems, reliability, trustworthiness, verification, security, safety, reliability, dependability, microkernels, embedded systems, trusted systems, proof


http://stc2010.trust.rub.de/index.php


Copyright 2010 ACM


nicta:4163


Heiser, Gernot; Andronick, June; Elphinstone, Kevin; Klein, Gerwin; Kuz, Ihor; Ryzhyk, Leonid. The Road to Trustworthy Systems. In: ACM Workshop on Scalable Trusted Computing; Chicago, IL, USA. ACM; 2010-10-04. 3-10.



Loading citation data...

Citation counts
(Requires subscription to view)