{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:59Z","timestamp":1725544079694},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330455"},{"type":"electronic","value":"9783540330462"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_8","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:15:28Z","timestamp":1143537328000},"page":"111-125","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic Policy Discovery with Remote Attestation"],"prefix":"10.1007","author":[{"given":"Corin","family":"Pitcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Secrecy by typing in security protocols. J. ACM\u00a046(5) (1999)","DOI":"10.1145\/324133.324266"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Trusted computing, trusted third parties, and verified communications. In: SEC 2004: 19th IFIP International Information Security Conference (2004)","DOI":"10.1007\/1-4020-8143-X_19"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M., Blanchet, B.: Secrecy types for asymmetric communication. Theoretical Computer Science\u00a0298(3) (2003)","DOI":"10.1016\/S0304-3975(02)00863-0"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst.\u00a013(2) (1991)","DOI":"10.1145\/103135.103138"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL 2001 (2001)","DOI":"10.1145\/360204.360213"},{"key":"8_CR6","unstructured":"Abadi, M., Fournet, C.: Access control based on execution history. In: Proceedings of the 10th Annual Network and Distributed System Security Symposium (2003)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Authentication primitives and their compilation. In: POPL 2000 (2000)","DOI":"10.1145\/325694.325734"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. Inf. Comput.\u00a0174(1) (2002)","DOI":"10.1006\/inco.2002.3086"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148(1) (1999)","DOI":"10.1006\/inco.1998.2740"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Wobber, T.: A logical account of NGSCB. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, Springer, Heidelberg (2004)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations of the asynchronous \u03c0-calculus. Theor. Comput. Sci.\u00a0195(2) (1998)","DOI":"10.1016\/S0304-3975(97)00223-5"},{"key":"8_CR12","unstructured":"Anderson, R.: \u2018Trusted Computing\u2019 Frequently Asked Questions, Version 1.1 (2003), http:\/\/www.cl.cam.ac.uk\/~rja14\/tcpa-faq.html"},{"key":"8_CR13","unstructured":"Anderson, R., Kuhn, M.: Tamper resistance - a cautionary note. In: Second USENIX Workshop on Electronic Commerce Proceedings (1996)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Arbaugh, W.A.: Improving the TCPA specification. IEEE Computer (2002)","DOI":"10.1109\/MC.2002.1023792"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Arbaugh, W.A., Farber, D.J., Smith, J.M.: A secure and reliable bootstrap architecture. In: IEEE Symposium on Security and Privacy (1997)","DOI":"10.1109\/SECPRI.1997.601317"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. In: POPL 1990 (1990)","DOI":"10.1145\/96709.96717"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"M. Bugliesi","year":"2003","unstructured":"Bugliesi, M., Crafa, S., Prelic, A., Sassone, V.: Secrecy in untrusted networks. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, Springer, Heidelberg (2003)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_11","volume-title":"Programming Languages and Systems","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, M., Focardi, R., Maffei, M.: Compositional analysis of authentication protocols. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, Springer, Heidelberg (2004)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Focardi, R., Maffei, M.: Analysis of typed analyses of authentication protocols. In: CSFW (2005)","DOI":"10.1109\/CSFW.2005.8"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Program fragments, linking, and modularization. In: POPL 1997 (1997)","DOI":"10.1145\/263699.263735"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_11","volume-title":"Programming Languages and Systems","author":"C. Fournet","year":"2005","unstructured":"Fournet, C., Gordon, A., Maffeis, S.: A type discipline for authorization policies. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, Springer, Heidelberg (2005)"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Jeffrey, A.S.A.: Authenticity by typing for security protocols. J. Computer Security\u00a011(4) (2003)","DOI":"10.3233\/JCS-2003-11402"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Jeffrey, A.S.A.: Types and effects for asymmetric cryptographic protocols. J. Computer Security\u00a012(3\/4) (2004)","DOI":"10.3233\/JCS-2004-123-406"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"A.D. Gordon","year":"2005","unstructured":"Gordon, A.D., Jeffrey, A.S.A.: Secrecy despite compromise: Types, cryptography, and the pi-calculus. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, Springer, Heidelberg (2005)"},{"key":"8_CR25","unstructured":"Haack, C., Jeffrey, A.S.A.: Pattern-matching spi-calculus. In: Proc. IFIP WG 1.7 Workshop on Formal Aspects in Security and Trust (2004)"},{"key":"8_CR26","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation: A virtual machine directed approach to trusted computing. In: USENIX VM (2004)"},{"key":"8_CR27","unstructured":"Haldar, V., Franz, M.: Symmetric behavior-based trust: A new paradigm for internet computing. In: New Security Paradigms Workshop (2004)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173 (2002)","DOI":"10.1006\/inco.2001.3089"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: On asynchronous communication semantics. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, Springer, Heidelberg (1991)"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46425-5_12","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"2000","unstructured":"Honda, K., Vasconcelos, V.T., Yoshida, N.: Secure information flow as typed process behaviour. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol.\u00a01782, Springer, Heidelberg (2000)"},{"key":"8_CR31","unstructured":"Huang, A.: Hacking the Xbox. Xenatera Press (2003)"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Irvine, C., Levin, T.: A cautionary note regarding the data integrity capacity of certain secure systems. In: Integrity, Internal Control and Security in Information Systems (2002)","DOI":"10.21236\/ADA435460"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3540543961_20","volume-title":"Functional Programming Languages and Computer Architecture","author":"X. Leroy","year":"1991","unstructured":"Leroy, X., Mauny, M.: Dynamics in ML. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, Springer, Heidelberg (1991)"},{"key":"8_CR34","unstructured":"Li, N., Mitchell, J.C.: RT: A role-based trust-management framework. In: DARPA Information Survivability Conference and Exposition (DISCEX III) (2003)"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Lie, D., Thekkath, C., Lincoln, P., Mitchell, M., Boneh, D., Mitchell, J., Horowitz, M.: Architectural support for copy and tamper resistant software. In: ASPLOS-IX (2000)","DOI":"10.21236\/ADA419599"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Lie, D., Thekkath, C.A., Horowitz, M.: Implementing an untrusted operating system on trusted hardware. In: 19th ACM Symposium on Operating Systems Principles (2003)","DOI":"10.1145\/945445.945463"},{"key":"8_CR37","unstructured":"Microsoft. Longhorn developer preview documentation. Distributed at Microsoft\u2019s Professional Developers Conference in Los Angeles (2003)"},{"key":"8_CR38","unstructured":"Microsoft. NGSCB: TCB and software authentication (2003)"},{"key":"8_CR39","unstructured":"Microsoft. Security model for the Next-Generation Secure Computing Base (2003)"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I. Inf. Comput.\u00a0100(1) (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"8_CR41","doi-asserted-by":"crossref","unstructured":"Odersky, M.: Polarized name passing. In: FST-TCS 1995 (1995)","DOI":"10.1007\/3-540-60692-0_58"},{"volume-title":"Trusted Computing Platforms: TCPA Technology in Context","year":"2002","key":"8_CR42","unstructured":"Pearson, S. (ed.): Trusted Computing Platforms: TCPA Technology in Context. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"Riely, J., Hennessy, M.: Trust and partial typing in open systems of mobile agents. J. Automated Reasoning\u00a031(3\u20134) (2003)","DOI":"10.1023\/B:JARS.0000021016.61054.3b"},{"key":"8_CR44","unstructured":"Sadeghi, A.-R., St\u00fcble, C.: Property-based attestation for computing platforms: Caring about properties, not mechanisms. In: New Security Paradigms Workshop (2004)"},{"key":"8_CR45","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and implementation of a TCG-based integrity measurement architecture. In: 13th USENIX Security Symposium (2004)"},{"key":"8_CR46","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Zhang, X.: Peer-to-peer access control architecture using trusted computing technology. In: SACMAT (2005)","DOI":"10.1145\/1063979.1064005"},{"key":"8_CR47","doi-asserted-by":"crossref","unstructured":"Seshadri, A., Perrig, A., van Doorn, L., Khosla, P.: SWATT: SoftWare-based ATTestation for embedded devices. In: IEEE Symposium on Security and Privacy (2004)","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"8_CR48","doi-asserted-by":"crossref","unstructured":"Smith, S., Weingart, S.: Building a high-performance, programmable secure coprocessor. Computer Networks\u00a031 (1999) Special Issue on Computer Network Security","DOI":"10.1016\/S1389-1286(98)00019-X"},{"key":"8_CR49","doi-asserted-by":"crossref","unstructured":"Thompson, K.: Reflections on trusting trust. CACM\u00a027(8) (1984)","DOI":"10.1145\/358198.358210"},{"key":"8_CR50","unstructured":"Trusted Computing Group. Trusted Computing Platform Alliance: Main specification, version 1.1b (2003), http:\/\/www.trustedcomputinggroup.org"},{"key":"8_CR51","doi-asserted-by":"crossref","unstructured":"Wallach, D.S., Appel, A.W., Felten, E.W.: SAFKASI: a security mechanism for language-based systems. ACM Trans. Softw. Eng. Methodol.\u00a09(4) (2000)","DOI":"10.1145\/363516.363520"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T13:19:29Z","timestamp":1555507169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/11690634_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}