Have you ever read Peter G. Neumann's final report on the DARPA CHATS research program ?
If you are in the business of building "trustworthy systems", you should have, otherwise do it now.
Peter's thinking was a huge influence on @vinyl_cache, both in terms of architecture and project goals, so "Thanks Peter!":