{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T20:41:10Z","timestamp":1759092070920,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T00:00:00Z","timestamp":1363564800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,3,18]]},"DOI":"10.1145\/2480362.2480707","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"1852-1858","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Bring your own device, securely"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[{"name":"Fondazione Bruno Kessler, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Costa","sequence":"additional","affiliation":[{"name":"Luca Verderame Universit\u00e0 degli Studi di, Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Merlo","sequence":"additional","affiliation":[{"name":"Universit\u00e0 E-Campus, Novedrate, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"107","volume-title":"Proc. of the 10th annual Network and Distributed System Security Symposium","author":"Abadi M.","year":"2003","unstructured":"M. Abadi and C. Fournet . Access control based on execution history . In Proc. of the 10th annual Network and Distributed System Security Symposium , pages 107 -- 121 , 2003 . M. Abadi and C. Fournet. Access control based on execution history. In Proc. of the 10th annual Network and Distributed System Security Symposium, pages 107--121, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5555\/788017.788745"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of 7th International Symposium on Trustworthy Global Computing","author":"Armando A.","year":"2012","unstructured":"A. Armando , G. Costa , and A. Merlo . Formal modeling and reasoning about the Android security framework . In Proc. of 7th International Symposium on Trustworthy Global Computing , 2012 . (To appear). A. Armando, G. Costa, and A. Merlo. Formal modeling and reasoning about the Android security framework. In Proc. of 7th International Symposium on Trustworthy Global Computing, 2012. (To appear)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-3-642-30436-1_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.5381\/jot.2009.8.4.a1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-540-31982-5_20"},{"key":"e_1_3_2_1_7_1","volume-title":"Planning and verifying service composition. Journal of Computer Security (JCS), 17(5):799-837","author":"Bartoletti M.","year":"2009","unstructured":"M. Bartoletti , P. Degano , and G. L. Ferrari . Planning and verifying service composition. Journal of Computer Security (JCS), 17(5):799-837 , 2009 . M. Bartoletti, P. Degano, and G. L. Ferrari. Planning and verifying service composition. Journal of Computer Security (JCS), 17(5):799-837, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/1760037.1760043"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/1554339.1554341"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.5555\/646234.758793"},{"key":"e_1_3_2_1_12_1","first-page":"132","volume-title":"ACM Transactions on Programming Languages and Systems","author":"Igarashi A.","year":"1999","unstructured":"A. Igarashi , B. C. Pierce , and P. Wadler . Featherweight Java: A Minimal Core Calculus for Java and GJ . In ACM Transactions on Programming Languages and Systems , pages 132 -- 146 , 1999 . A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. In ACM Transactions on Programming Languages and Systems, pages 132--146, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1755688.1755732"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/ACSAC.2009.39"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of the 18th Annual Network & Distributed System Security Symposium","author":"Schlegel R.","year":"2011","unstructured":"R. Schlegel , K. Zhang , X. Zhou , M. Intwala , A. Kapadia , and X. Wang . Soundcomber: A Stealthy and Context-Aware Sound Trojan for Smartphones . In Proc. of the 18th Annual Network & Distributed System Security Symposium , 2011 . R. Schlegel, K. Zhang, X. Zhou, M. Intwala, A. Kapadia, and X. Wang. Soundcomber: A Stealthy and Context-Aware Sound Trojan for Smartphones. In Proc. of the 18th Annual Network & Distributed System Security Symposium, 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1109\/MSP.2010.2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/SocialCom.2010.140"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-540-30477-7_8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1016\/j.entcs.2005.01.027"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.5555\/2022245.2022255"}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC '13","name":"SAC '13: SAC '13","location":"Coimbra Portugal"},"container-title":["Proceedings of the 28th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480707","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2480362.2480707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:24Z","timestamp":1750277664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,18]]},"references-count":19,"alternative-id":["10.1145\/2480362.2480707","10.1145\/2480362"],"URL":"https:\/\/doi.org\/10.1145\/2480362.2480707","relation":{},"subject":[],"published":{"date-parts":[[2013,3,18]]},"assertion":[{"value":"2013-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}