{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:20:55Z","timestamp":1725758455102},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319034904"},{"type":"electronic","value":"9783319034911"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03491-1_5","type":"book-chapter","created":{"date-parts":[[2013,11,24]],"date-time":"2013-11-24T19:47:31Z","timestamp":1385322451000},"page":"70-84","source":"Crossref","is-referenced-by-count":2,"title":["Remote Policy Enforcement for Trusted Application Execution in Mobile Environments"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Saracino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Sgandurra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Pearson, S.: Trusted Computing Platforms, the Next Security Solution. Trusted Computing Group Administration, Beaverton (2002)"},{"key":"5_CR2","unstructured":"Wikipedia: Android operating system (2013), \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/Android_operating_system"},{"key":"5_CR3","unstructured":"Trusted Computing Group: Mobile phone work group mobile trusted module specification, version 1.0, revision 7.02 (2013)"},{"key":"5_CR4","unstructured":"Trusted Computing Group: Mobile phone work group mobile reference architecture (2013)"},{"key":"5_CR5","series-title":"CCIS","first-page":"221","volume-title":"ISoLA 2008","author":"P. Greci","year":"2008","unstructured":"Greci, P., Martinelli, F., Matteucci, I.: A framework for contract-policy matching based on symbolic simulations for securing mobile device application. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 221\u2013236. Springer, Heidelberg (2008)"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2007.10.013","volume":"197","author":"I. Aktug","year":"2008","unstructured":"Aktug, I., Naliuka, K.: Conspec \u2013 a formal language for policy specification. Electron. Notes Theor. Comput. Sci.\u00a0197(1), 45\u201358 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-21599-5_8","volume-title":"Trust and Trustworthy Computing","author":"I. Bente","year":"2011","unstructured":"Bente, I., Dreo, G., Hellmann, B., Heuser, S., Vieweg, J., Von Helden, J., Westhuis, J.: Towards permission-based attestation for the android platform. In: McCune, J.M., Balacheff, B., Perrig, A., Sadeghi, A.-R., Sasse, A., Beres, Y. (eds.) TRUST 2011. LNCS, vol.\u00a06740, pp. 108\u2013115. Springer, Heidelberg (2011)"},{"key":"5_CR8","unstructured":"Sailer, R., Zhang, X., Jaeger, T.: Design and implementation of a TCG-based integrity measurement architecture. In: Proceedings of the 13th Conference on USENIX Security Symposium, vol. 13, p. 16 (2004)"},{"key":"5_CR9","first-page":"308","volume-title":"CCS 2004: Proceedings of the 11th ACM Conference on Computer and Communications Security","author":"R. Sailer","year":"2004","unstructured":"Sailer, R., Jaeger, T., Zhang, X., van Doorn, L.: Attestation-based policy enforcement for remote access. In: CCS 2004: Proceedings of the 11th ACM Conference on Computer and Communications Security, pp. 308\u2013317. ACM, New York (2004)"},{"key":"5_CR10","first-page":"67","volume-title":"NSPW 2004: Proceedings of the 2004 Workshop on New Security Paradigms","author":"A.R. Sadeghi","year":"2004","unstructured":"Sadeghi, A.R., St\u00fcble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: NSPW 2004: Proceedings of the 2004 Workshop on New Security Paradigms, pp. 67\u201377. ACM, New York (2004)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1179474.1179479","volume-title":"Proceedings of the First ACM Workshop on Scalable Trusted Computing","author":"L. Chen","year":"2006","unstructured":"Chen, L., Landfermann, R., L\u00f6hr, H., Rohe, M., Sadeghi, A., St\u00fcble, C.: A protocol for property-based attestation. In: Proceedings of the First ACM Workshop on Scalable Trusted Computing, pp. 7\u201316. ACM, New York (2006)"},{"key":"5_CR12","unstructured":"Petroni Jr., N., Fraser, T., Walters, A., Arbaugh, W.: An Architecture for Specification-Based Detection of Semantic Integrity Violations in Kernel Dynamic Data. In: Proc. of the 15th USENIX Security Symposium (2006)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1133058.1133063","volume-title":"Proceedings of the Eleventh ACM Symposium on Access Control Models and Technologies","author":"T. Jaeger","year":"2006","unstructured":"Jaeger, T., Sailer, R., Shankar, U.: PRIMA: policy-reduced integrity measurement architecture. In: Proceedings of the Eleventh ACM Symposium on Access Control Models and Technologies, pp. 19\u201328. ACM, New York (2006)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/11908739_13","volume-title":"Advances in Information and Computer Security","author":"X. Zhang","year":"2006","unstructured":"Zhang, X., Parisi-Presicce, F., Sandhu, R.: Towards remote policy enforcement for runtime protection of mobile code using trusted computing. In: Yoshiura, H., Sakurai, K., Rannenberg, K., Murayama, Y., Kawamura, S. (eds.) IWSEC 2006. LNCS, vol.\u00a04266, pp. 179\u2013195. Springer, Heidelberg (2006)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13869-0_1","volume-title":"Trust and Trustworthy Computing","author":"M. Nauman","year":"2010","unstructured":"Nauman, M., Khan, S., Zhang, X., Seifert, J.-P.: Beyond kernel-level integrity measurement: Enabling remote attestation for the android platform. In: Acquisti, A., Smith, S.W., Sadeghi, A.-R. (eds.) TRUST 2010. LNCS, vol.\u00a06101, pp. 1\u201315. Springer, Heidelberg (2010)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-21599-5_8","volume-title":"Trust and Trustworthy Computing","author":"I. Bente","year":"2011","unstructured":"Bente, I., Dreo, G., Hellmann, B., Heuser, S., Vieweg, J., Von Helden, J., Westhuis, J.: Towards permission-based attestation for the android platform. In: McCune, J.M., Balacheff, B., Perrig, A., Sadeghi, A.-R., Sasse, A., Beres, Y. (eds.) TRUST 2011. LNCS, vol.\u00a06740, pp. 108\u2013115. Springer, Heidelberg (2011)"},{"key":"5_CR17","unstructured":"Ugus, O., Westhoff, D.: An mtm based watchdog for malware famishment in smartphones. In: Eichler, G., K\u00fcpper, A., Schau, V., Fouchal, H., Unger, H. (eds.) IICS. LNI, vol.\u00a0P-186, pp. 251\u2013262. GI (2011)"},{"key":"5_CR18","unstructured":"Joseph, A.: Mobile device management-brave new horizon or basic plumbing? (2013), \n                    \n                      http:\/\/www.devicemanagement.org\/content\/view\/20754\/152\/"}],"container-title":["Lecture Notes in Computer Science","Trusted Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03491-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T21:01:54Z","timestamp":1539378114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03491-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319034904","9783319034911"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03491-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}