Please have a look at David A. Wheeler’s page on Trusting trust [1], including his 2009 PhD dissertation [2], where he clearly demonstrates that it is possible to have trusted (not in the MS sense...) computers (I think).
You may also be interested in 'Countering "Trusting Trust"' on Schneier's website [3], which discusses a 2006 paper, also by Wheeler.
David Wheelers work is very interesting, but it does not solve all the fundamental trust issues in computing.
It allows us to check if our compilers, linkers etc are maliciously modifying the programs being handled in a way not represented by their source code. It does not help us to determine if the firmware or CPU microcode, for example, have backdoors.
It allows us to check if our compilers, linkers etc are maliciously modifying the programs being handled in a way not represented by their source code. It does not help us to determine if the firmware or CPU microcode, for example, have backdoors.