{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:30:51Z","timestamp":1725489051974},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735465"},{"type":"electronic","value":"9783540735472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73547-2_37","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:54:52Z","timestamp":1186844092000},"page":"352-360","source":"Crossref","is-referenced-by-count":6,"title":["Formal Analysis of Secure Bootstrap in Trusted Computing"],"prefix":"10.1007","author":[{"given":"Shuyi","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingyou","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"TCG. Trusted Computing Group (2004), \n                    \n                      http:\/\/www.trustedcomputinggroup.org\/downloads\/background_docs\/TCG_Backgrounder_November_2004.pdf"},{"key":"37_CR2","unstructured":"Microsoft. Next-Generation Secure Computing Base home page (2006), \n                    \n                      http:\/\/www.microsoft.com\/resources\/ngscb"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-540-27800-9_8","volume-title":"Information Security and Privacy","author":"M. Peinado","year":"2004","unstructured":"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.\u00a03108, pp. 86\u201397. Springer, Heidelberg (2004)"},{"key":"37_CR4","unstructured":"Intel. LaGrande Technology Architectural Overview (2006), \n                    \n                      http:\/\/www.intel.com\/technology\/security\/downloads\/LT_Arch_Overview.pdf"},{"key":"37_CR5","unstructured":"Alan, Z.: Coming soon to VMware, Microsoft, and Xen: AMD Virtualization Technology Solves Virtualization Challenges (2006), \n                    \n                      http:\/\/www.devx.com\/amd\/Article\/30186"},{"key":"37_CR6","first-page":"168","volume-title":"ASPLOS-IX 2000[C]. Operating Systems Review","author":"D. Lie","year":"2000","unstructured":"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.\u00a034, pp. 168\u2013177. ACM Press, New York (2000)"},{"key":"37_CR7","first-page":"193","volume-title":"SOSP 2003 [C]. Operating Systems Review","author":"T. Garfinkel","year":"2003","unstructured":"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.\u00a037, pp. 193\u2013206. ACM Press, New York (2003)"},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Wobber, T.: A Logical Account of NGSCB. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 1\u201312. Springer, Heidelberg (2004)"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/11429760_14","volume-title":"Trust Management","author":"J. Patel","year":"2005","unstructured":"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.\u00a03477, pp. 193\u2013209. Springer, Heidelberg (2005)"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","first-page":"509","volume-title":"Computer Security - ESORICS 1994","author":"T. Beth","year":"1994","unstructured":"Beth, T., Borcherding, M., Klein, B.: Valuation of Trust in Open Network. In: Gollmann, D. (ed.) Computer Security - ESORICS 1994. LNCS, vol.\u00a0875, pp. 509\u2013522. Springer, Heidelberg (1994)"},{"key":"37_CR11","first-page":"23","volume-title":"IEEE Transactions on Reliability","author":"A. Bondavalli","year":"2000","unstructured":"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.\u00a053, pp. 23\u201326. IEEE Press, New York (2000)"},{"key":"37_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-61770-1_45","volume-title":"Computer Security - ESORICS 1996","author":"U. Maurer","year":"1996","unstructured":"Maurer, U.: Modelling a public-key infrastructure. In: Martella, G., Kurth, H., Montolivo, E., Bertino, E. (eds.) Computer Security - ESORICS 1996. LNCS, vol.\u00a01146, pp. 325\u2013350. Springer, Heidelberg (1996)"},{"key":"37_CR13","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1109\/NCA.2001.962557","volume-title":"IEEE International Symposium on Network Computing and Applications (NCA 2001)","author":"H.E. Bakkali","year":"2001","unstructured":"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\u2013371. IEEE Press, New York (2001)"},{"key":"37_CR14","unstructured":"TCG. TCPA Main Specification version 1.1b. (2006), \n                    \n                      http:\/\/www.trustedcomputinggroup.org\/specs\/TPM\/TCPA_Main_TCG_Architecture_v1_1b.pdf"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73547-2_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:15:59Z","timestamp":1605762959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73547-2_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735465","9783540735472"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73547-2_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}