Trustworthy Computing: Analytical and Quantitative Engineering Evaluation