{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T11:02:03Z","timestamp":1781607723967,"version":"3.54.5"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,4,23]],"date-time":"2011-04-23T00:00:00Z","timestamp":1303516800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10207-011-0124-7","type":"journal-article","created":{"date-parts":[[2011,4,22]],"date-time":"2011-04-22T04:52:58Z","timestamp":1303447978000},"page":"63-81","source":"Crossref","is-referenced-by-count":186,"title":["Principles of remote attestation"],"prefix":"10.1007","volume":"10","author":[{"given":"George","family":"Coker","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joshua","family":"Guttman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Loscocco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amy","family":"Herzog","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Millen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brian","family":"O\u2019Hanlon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Ramsdell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ariel","family":"Segall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Justin","family":"Sheehy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brian","family":"Sniffen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,4,23]]},"reference":[{"key":"124_CR1","doi-asserted-by":"crossref","unstructured":"Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., Levkowetz H.: Extensible Authentication Protocol (EAP). RFC 3748 (Proposed Standard), June (2004)","DOI":"10.17487\/rfc3748"},{"key":"124_CR2","doi-asserted-by":"crossref","unstructured":"Armknecht, F., Gasmi, Y., Sadeghi, A.-R., Stewin, P., Unger, M., Ramunno, G., Vernizzi, D.: An efficient implementation of trusted channels based on openssl. In: STC \u201908: Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, pp. 41\u201350. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1456455.1456462"},{"key":"124_CR3","volume-title":"Trusted Computing Platforms: TCPA Technology in Context","year":"2003","unstructured":"Balacheff, B., Chen, L., Pearson, S., Plaquin, D., Proudler, G. (eds): Trusted Computing Platforms: TCPA Technology in Context. Prentice Hall PTR, Upper Saddle River, NJ (2003)"},{"key":"124_CR4","doi-asserted-by":"crossref","unstructured":"Chen, L., Landfermann, R., L\u00f6hr, H., Rohe, M., Sadeghi, A.-R., St\u00fcble, C.: A protocol for property-based attestation. In: STC \u201906: Proceedings, First ACM Workshop on Scalable Trusted Computing, pp. 7\u201316. ACM Press, New York, NY, USA (2006)","DOI":"10.1145\/1179474.1179479"},{"key":"124_CR5","unstructured":"AMD Corporation: Amd64 architecture programmer\u2019s manual volume 2: System programming rev 3.11 http:\/\/www.amd.com\/usen\/assets\/content_type\/white_papers_and_tech_docs\/24593.pdf , January (2006)"},{"key":"124_CR6","unstructured":"Intel Corporation: Intel trusted execution technology. http:\/\/www.download.intel.com\/technology\/security\/downloads\/31516803.pdf , November (2006)"},{"key":"124_CR7","unstructured":"Microsoft Corporation: Ngscb official page. http:\/\/www.microsoft.com\/resources\/ngscb\/default.mspx (2007)"},{"key":"124_CR8","unstructured":"deMoura, L., Owre, S., Shankar, N.: The SAL language manual. Technical Report SRI-CSL-01-02, SRI International (2003)"},{"key":"124_CR9","unstructured":"Doghmi, S.F., Guttman, J.D., Thayer, F.J.: Searching for shapes in cryptographic protocols. In: Tools and Algorithms for Construction and Analysis of Systems (TACAS), Number 4424 in LNCS, pp. 523\u2013538. Springer, (2007). Extended version at http:\/\/www.eprint.iacr.org\/2006\/435"},{"key":"124_CR10","doi-asserted-by":"crossref","unstructured":"Gasmi, Y., Sadeghi, A.-R., Stewin, P., Unger, M., Asokan, N.: Beyond secure channels. In: STC \u201907: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, pp. 30\u201340. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1314354.1314363"},{"key":"124_CR11","volume-title":"The Intel Safer Computing Initiative","author":"D. Grawrock","year":"2006","unstructured":"Grawrock D.: The Intel Safer Computing Initiative. Intel Press, Hillsboro (2006)"},{"key":"124_CR12","unstructured":"TCG Best Practices Group: Design, Implementation, and Usage Principles for TPM-Based Platforms, May, Version 1.0 (2005)"},{"key":"124_CR13","doi-asserted-by":"crossref","unstructured":"Gu, L., Ding, X., Deng, R.H., Xie, B., Mei, H.: Remote attestation on program execution. In: STC \u201908: Proceedings of the 3rd ACM Workshop on Scalable Trusted computing, pp. 11\u201320. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1456455.1456458"},{"issue":"3\/4","key":"124_CR14","doi-asserted-by":"crossref","first-page":"409","DOI":"10.3233\/JCS-2004-123-405","volume":"12","author":"J.D. Guttman","year":"2004","unstructured":"Guttman J.D.: Authentication tests and disjoint encryption: a design method for security protocols. J. Comput. Secur. 12(3\/4), 409\u2013433 (2004)","journal-title":"J. Comput. Secur."},{"key":"124_CR15","unstructured":"Guttman, J.D., Herzog, J.C., Ramsdell, J.D., Sniffen, B.T.: Programming cryptographic protocols. In: De Nicola, R., Sangiorgi, D. (eds.) Trust in Global Computing, number 3705 in LNCS, pp. 116\u2013145. Springer, (2005)"},{"key":"124_CR16","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Thayer, F.J., Carlson, J.A., Herzog, J.C., Ramsdell, J.D., Sniffen, B.T.: Trust management in strand spaces: a rely-guarantee method. In: Schmidt, D. (ed.) Programming Languages and Systems: 13th European Symposium on Programming, number 2986 in LNCS, pp. 325\u2013339. Springer (2004)","DOI":"10.1007\/978-3-540-24725-8_23"},{"key":"124_CR17","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation\u2014a virtual machine directed approach to trusted computing. In: Proceedings of the Third virtual Machine Research and Technology Symposium, pp. 29\u201341. USENIX, May (2004)"},{"key":"124_CR18","unstructured":"Petroni, N.L. Jr., Fraser, T., Molina, J., Arbaugh, W.A.: Copilot\u2014a coprocessor-based kernel runtime integrity monitor. In: USENIX Security Symposium, pp. 179\u2013194. USENIX (2004)"},{"key":"124_CR19","doi-asserted-by":"crossref","unstructured":"Katsuno, Y., Watanabe, Y., Yoshihama, S., Mishina, T., Kudoh, M.: Layering negotiations for flexible attestation. In: STC \u201906: Proceedings, First ACM Workshop on Scalable Trusted Computing, pp. 17\u201320. ACM Press, New York, NY, USA (2006)","DOI":"10.1145\/1179474.1179480"},{"key":"124_CR20","unstructured":"Kerber, R.: Advanced tactic targeted grocer: \u2018Malware\u2019 stole Hannaford data. The Boston Globe, p. 1, 18 March (2008)"},{"key":"124_CR21","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal verification of an OS kernel. In: ACM Symposium on Operating Systems Principles, Big Sky, MT, October (2009)","DOI":"10.1145\/1629575.1629596"},{"key":"124_CR22","doi-asserted-by":"crossref","unstructured":"K\u00fchn, U., Selhorst, M., St\u00fcble, C.: Realizing property-based attestation and sealing with commonly available hard- and software. In: STC \u201907: Proceedings of the 2007 ACM workshop on Scalable Trusted Computing, pp. 50\u201357. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1314354.1314368"},{"key":"124_CR23","doi-asserted-by":"crossref","unstructured":"Loscocco, P.A., Wilson, P.W., Pendergrass, J.A., McDonell, C.D.: Linux kernel integrity measurement using contextual inspection. In: STC \u201907: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, pp. 21\u201329. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1314354.1314362"},{"key":"124_CR24","doi-asserted-by":"crossref","unstructured":"McMillan, K.: (1992) The SMV system. http:\/\/www.kenmcmil.com","DOI":"10.1007\/978-1-4615-3190-6_4"},{"key":"124_CR25","doi-asserted-by":"crossref","unstructured":"Millen, J., Guttman, J., Ramsdell, J., Sheehy, J., Sniffen, B.: Call by Contract for Cryptographic Protocol. In: FCS-ARSPA (2006) http:\/\/www.mitre.org\/work\/tech_papers\/tech_papers_06\/06_0498\/index.html","DOI":"10.21236\/ADA456347"},{"key":"124_CR26","doi-asserted-by":"crossref","unstructured":"Millen, J., Guttman, J., Ramsdell, J., Sheehy, J., Sniffen, B.: Analysis of a measured launch. Technical report, The MITRE Corporation, June (2007) http:\/\/www.mitre.org\/work\/tech_papers\/tech_papers_07\/07_0843\/index.html","DOI":"10.21236\/ADA470495"},{"key":"124_CR27","doi-asserted-by":"crossref","unstructured":"Nagarajan, A., Varadharajan, V., Hitchens, M.: Trust management for trusted computing platforms in web services. In: STC \u201907: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, pp. 58\u201362. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1314354.1314369"},{"key":"124_CR28","doi-asserted-by":"crossref","unstructured":"Poritz, J.A.: computing, signed code and the heat death of the internet. In: SAC \u201906: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1855\u20131859. ACM Press, New York, NY, USA (2006) Trust[ed | in]","DOI":"10.1145\/1141277.1141716"},{"key":"124_CR29","doi-asserted-by":"crossref","unstructured":"Sadeghi, A.-R., St\u00fcble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: NSPW \u201904: Proceedings, 2004 Workshop on New Security Paradigms, pp. 67\u201377. ACM Press, New York, NY, USA (2004)","DOI":"10.1145\/1065907.1066038"},{"key":"124_CR30","doi-asserted-by":"crossref","unstructured":"Sadeghi, A.-R., St\u00fcble, C., Winandy, M.: Property-based tpm virtualization. In: ISC \u201908: Proceedings of the 11th International Conference on Information Security, pp. 1\u201316. Springer, Berlin, Heidelberg (2008)","DOI":"10.1007\/978-3-540-85886-7_1"},{"key":"124_CR31","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and implementation of a TCG-based integrity measurement architecture. In: Proceedings of the 13th USENIX Security Symposium, pp. 16\u201316. USENIX Association, Berkeley, CA, USA (2004)"},{"issue":"1","key":"124_CR32","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.entcs.2007.10.014","volume":"197","author":"D. Schellekens","year":"2008","unstructured":"Schellekens D., Wyseur B., Preneel B.: Remote attestation on legacy operating systems with trusted platform modules. Electron. Notes Theor. Comput. Sci. 197(1), 59\u201372 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"124_CR33","unstructured":"Seshadri, A., Luk, M., Shi, E., Perrig, A., van Doorn, L., Khosla, P.: Pioneer: verifying integrity and guaranteeing execution of code on legacy platforms. In: Proceedings of ACM Symposium on Operating Systems Principles (SOSP), pp. 1\u201316, October (2005). See also Pioneer Web pages., http:\/\/www.cs.cmu.edu"},{"key":"124_CR34","unstructured":"Shi, E., Perrig, A., Van Doorn, L.: BIND: a time-of-use attestation service for secure distributed systems. In: Proceedings of IEEE Symposium on Security and Privacy, May (2005)"},{"key":"124_CR35","doi-asserted-by":"crossref","unstructured":"Shieh, A., Williams, D., Sirer, E., Schneider, F.B.: Nexus: a new operating system for trustworthy computing. In: SOSP \u201905: Proceedings of the Twentieth ACM ymposium on Operating Systems Principles, pp. 1\u20139. ACM Press, New York, NY, USA (2005)","DOI":"10.1145\/1095810.1118613"},{"key":"124_CR36","unstructured":"Stone, B.: 11 charged in theft of 41 million card numbers. The New York Times, p. B 1, 5 August (2008)"},{"key":"124_CR37","doi-asserted-by":"crossref","unstructured":"Thober, M., Pendergrass, J.A., McDonell, C.D.: Improving coherency of runtime integrity measurement. In: STC \u201908: Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, pp. 51\u201360. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1456455.1456464"},{"key":"124_CR38","unstructured":"Trusted Computing Group: TCG Trusted Network Connect: TNC Architecture for Interoperability, May Version 1.1 (2006)"},{"key":"124_CR39","unstructured":"Trusted Computing Group: TCG Trusted Network Connect TNC IF-IMC, May. Version 1.1 (2006)"},{"key":"124_CR40","unstructured":"Trusted Computing Group: TPM Main Specification, Design Principles, version 1.2 edition (2006) http:\/\/www.trustedcomputinggroup.org\/specs\/TPM\/mainP1DPrev103.zip"},{"key":"124_CR41","unstructured":"Trusted Computing Group: TCG Specification Architecture Overview, revision 1.4 edition (2007) http:\/\/www.trustedcomputinggroup.org\/...\/TCG_1_4_Architecture_Overview.pdf"},{"key":"124_CR42","doi-asserted-by":"crossref","unstructured":"van Dijk, M., Rhodes, J., Sarmenta, L.F.G., Devadas, S.: Offline untrusted storage with immediate detection of forking and replay attacks. In: STC \u201907: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, pp. 41\u201348. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1314354.1314364"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-011-0124-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-011-0124-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-011-0124-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T02:29:39Z","timestamp":1560133779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-011-0124-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,23]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["124"],"URL":"https:\/\/doi.org\/10.1007\/s10207-011-0124-7","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,23]]}}}