1. . B. Balacheff, L. Chen, S. Pearson, D. Plaquin, and G. Proudler, Trusted Computing Platforms: TCPA Technology in Context. Prentice Hall, 2003.
2. C. Mitchell, ed., Trusted Computing. London, UK: IEE Press, 2005.
3. . D. of Defense, “DoD 5200.28-STD: Department of defense trusted computer system evalua-tion criteria”, tech. rep., Department of Defense, 1985.
4. . E. Gallery, “An overview of trusted computing technology”, in Trusted Computing (C. J. Mitchell, ed.), IEE, 2005.
5. E. Gallery and C. J. Mitchell, “Trusted mobile platforms”, in FOSAD ’07, International School on Foundations of Security Analysis and Design, vol. 4677 of LNCS, (Bertinoro, Italy), Springer-Verlag, Sep 2007.