Design and analysis of trusted computing platforms by