Trustworthy computing : analytical and quantitative engineering evaluation