Formal analysis of secure bootstrap in trusted computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4610 LNCS, Issue , 2007, Pages 352-360

  Chen, Shuyi ^a   Wen, Yingyou ^a   Zhao, Hong ^a  

^a NORTHEASTERN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; COMPUTER HARDWARE; MATHEMATICAL MODELS; PERSONAL COMPUTERS; SEMANTICS;

FORMAL ANALYSIS; FORMAL SEMANTICS; SECURE BOOTSTRAP; TRUSTED COMPUTING;

SECURITY SYSTEMS;

EID: 38049064378     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73547-2_37     Document Type: Conference Paper

References (14)

1. TCG. Trusted Computing Group (2004) https://www.trustedcomputinggroup. org/downloads/background_docs/TCG_Backgrounder_November_2004.pdf
2. Microsoft. Next-Generation Secure Computing Base home page (2006) http://www.microsoft.com/resources/ngscb
3. Peinado, M., Chen, Y., England, P., et al.: NGSCB: A trusted open system. In: Wang, H., Pieprzyk, J., Varadharajan, V. (eds.) ACISP 2004. LNCS, vol. 3108, pp. 86-97. Springer, Heidelberg (2004)
4. Intel. LaGrande Technology Architectural Overview (2006) http://www.intel.com/technology/security/downloads/LT_Arch_Overview.pdf
5. Alan, Z.: Coming soon to VMware, Microsoft, and Xen: AMD Virtualization Technology Solves Virtualization Challenges (2006) http://www.devx.com/amd/ Article/30186
6. Lie, D., Thekkath, C., Mitchell, M., et al: Architectural support for copy and tamper resistant software. In: William, E., et al. (eds.) ASPLOS-IX 2000[C]. Operating Systems Review, vol. 34, pp. 168-177. ACM Press, New York (2000)
7. Garfinkel, T., Pfaff, B., Chow, J., et al.: Terra: A virtual machine-based platform for trusted computing. In: Birman, K., et al. (eds.) SOSP 2003 [C]. Operating Systems Review, vol. 37, pp. 193-206. ACM Press, New York (2003)
8. Abadi, M., Wobber, T.: A Logical Account of NGSCB. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 1-12. Springer, Heidelberg (2004)
9. Patel, J., Teacy, W.T., Jennings, N.R., et al.: A Probabilistic Trust Model for Handling Inaccurate Reputation Sources. In: Herrmann, P., Issarny, V., Shiu, S.C.K. (eds.) iTrust 2005. LNCS, vol. 3477, pp. 193-209. Springer, Heidelberg (2005)
10. Beth, T., Borcherding, M., Klein, B.: Valuation of Trust in Open Network. In: Gollmann, D. (ed.) Computer Security - ESORICS 94. LNCS, vol. 875, pp. 509-522. Springer, Heidelberg (1994)
11. Bondavalli, A., Chiaradonna, S., Giandomenico, F.D., et al.: Dependability Modeling and Evaluation of Multiple Phased Systems Using DEEM. In: IEEE Transactions on Reliability, vol. 53, pp. 23-26. IEEE Press, New York (2000)
12. Maurer, U.: Modelling a public-key infrastructure. In: Martella, G., Kurth, H., Montolivo, E., Bertino, E. (eds.) Computer Security - ESORICS 96. LNCS, vol. 1146, pp. 325-350. Springer, Heidelberg (1996)
13. Bakkali, H.E., Kaitouni, B.I.: Predicate calculus logic for the PKI trust model analysis. In: IEEE International Symposium on Network Computing and Applications (NCA 2001), pp. 368-371. IEEE Press, New York (2001)
14. TCG. TCPA Main Specification version 1.1b. (2006) https://www. trustedcomputinggroup.org/specs/TPM/TCPA_Main_TCG_Architecture_v1_ 1b.pdf