{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:07:18Z","timestamp":1725552438371},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642124587"},{"type":"electronic","value":"9783642124594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12459-4_5","type":"book-chapter","created":{"date-parts":[[2010,4,29]],"date-time":"2010-04-29T06:49:38Z","timestamp":1272523778000},"page":"51-65","source":"Crossref","is-referenced-by-count":0,"title":["Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Cirillo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Yellin, F.: Low-level security in Java. In: WWW4 Conference (1995)","DOI":"10.1145\/3592626.3592656"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: Principles of Programming Languages, POPL 1997 (1997)","DOI":"10.1145\/263699.263712"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Riely, J., Hennessy, M.: Trust and partial typing in open systems of mobile agents. In: Principles of Programming Languages, POPL 1999 (1999)","DOI":"10.1145\/292540.292551"},{"key":"5_CR4","unstructured":"Trusted Computing Group: TCG TPM Specification Version 1.2 (March 2006), http:\/\/www.trustedcomputinggroup.org"},{"key":"5_CR5","first-page":"132","volume-title":"Computer and Communications Security (CCS)","author":"E. Brickell","year":"2004","unstructured":"Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In: Computer and Communications Security (CCS), pp. 132\u2013145. ACM Press, New York (2004)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-78663-4_13","volume-title":"Trustworthy Global Computing","author":"A. Cirillo","year":"2008","unstructured":"Cirillo, A., Riely, J.: Access control based on code identity for open distributed systems. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol.\u00a04912, pp. 169\u2013185. Springer, Heidelberg (2008)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-642-10672-9_22","volume-title":"APLAS 2009","author":"N. Sato","year":"2009","unstructured":"Sato, N., Sumii, E.: A higher-order, call-by-value applied pi-calculus. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 311\u2013326. Springer, Heidelberg (2009)"},{"key":"5_CR8","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh (1993)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(00)00097-9","volume":"253","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D.: Asynchronous process calculi: the first-order and higher-order paradigms (tutorial). Theoretical Computer Science\u00a0253, 311\u2013350 (2001)","journal-title":"Theoretical Computer Science"},{"key":"5_CR10","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"5_CR11","unstructured":"Sun Microsystems: Java Object Serialization Specification (2005), http:\/\/java.sun.com\/javase\/6\/docs\/platform\/serialization\/spec\/serialTOC.html"},{"key":"5_CR12","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification Second Edition. Sun Microsystems (1999)"},{"key":"5_CR13","unstructured":"Anderson, N.: Hacking Digital Rights Management. ArsTechnica.com (July 2006), http:\/\/arstechnica.com\/articles\/culture\/drmhacks.ars"},{"key":"5_CR14","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":"5_CR15","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Principles of Programming Languages, POPL 2001 (2001)","DOI":"10.1145\/360204.360213"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148, 1\u201370 (1999)","journal-title":"Information and Computation"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Secrecy by typing in security protocols. J. ACM\u00a046(5) (1999)","DOI":"10.1145\/324133.324266"},{"key":"5_CR18","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":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","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, pp. 141\u2013156. Springer, Heidelberg (2005)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11539452_17","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, pp. 186\u2013201. Springer, Heidelberg (2005)"},{"key":"5_CR21","first-page":"31","volume":"00","author":"C. Fournet","year":"2007","unstructured":"Fournet, C., Gordon, A., Maffeis, S.: A type discipline for authorization in distributed systems. CSF\u00a000, 31\u201348 (2007)","journal-title":"CSF"},{"issue":"2","key":"5_CR22","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Alt, J., Artemov, S.: Reflective lambda-calculus. Proof Theory in Computer Science, 22\u201337 (2001)","DOI":"10.1007\/3-540-45504-3_2"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Artemov, S., Bonelli, E.: The intensional lambda calculus. Logical Foundations of Computer Science, 12\u201325 (2007)","DOI":"10.1007\/978-3-540-72734-7_2"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/978-3-540-88313-5_36","volume-title":"Computer Security - ESORICS 2008","author":"S. Maffeis","year":"2008","unstructured":"Maffeis, S., Abadi, M., Fournet, C., Gordon, A.D.: Code-carrying authorization. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol.\u00a05283, pp. 563\u2013579. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12459-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T04:43:16Z","timestamp":1711428196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12459-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642124587","9783642124594"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12459-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}