Trusted <= Trustworthy <= Proof – Position Paper

Select |




Print


Heiser, Gernot

Heiser, Gernot


2009-05-19


Conference Material


Future of Trust in Computing


Berlin


55-59


Trusted computing is important, but we argue that it remains an illusion as long as the underlying trusted computing base (TCB) is not trustworthy. We observe that present approaches to trusted computing do not really address this issue, but are trusting TCBs which have not been shown to deserve this trust. We argue that only mathematical proof can ensure the trustworthiness of the TCB. In short: trust requires trustworthiness, which in turn requires proof. We also show that this is achievable.


operating systems, security, common criteria, implementation correctness, proof


http://www.tc-conference.com/


nicta:986


Heiser, Gernot. Trusted <= Trustworthy <= Proof – Position Paper. In: David Grawrock, Ahmad-Reza Sadeghi Editor, editor/s. Future of Trust in Computing; Berlin. 2009-05-19. 55-59.



Loading citation data...

Citation counts
(Requires subscription to view)