{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:20:34Z","timestamp":1756894834609,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,23]],"date-time":"2014-07-23T00:00:00Z","timestamp":1406073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,23]]},"DOI":"10.1145\/2627393.2627410","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"219-230","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Enabling BYOD through secure meta-market"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[{"name":"University of Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Costa","sequence":"additional","affiliation":[{"name":"University of Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Merlo","sequence":"additional","affiliation":[{"name":"University of Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Verderame","sequence":"additional","affiliation":[{"name":"University of Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"107","volume-title":"Proceedings of the 10th Annual Network and Distributed System Security Symposium","author":"Abadi M.","year":"2003"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.004"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18070-5_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/788017.788745"},{"key":"e_1_3_2_1_5_1","unstructured":"Apple Inc. Secure Coding Guide 2012. https:\/\/developer.apple.com\/library\/ios\/ documentation\/Security\/Conceptual\/ SecureCodingGuide\/SecureCodingGuide.pdf accessed on 4-Dec-2013.  Apple Inc. Secure Coding Guide 2012. https:\/\/developer.apple.com\/library\/ios\/ documentation\/Security\/Conceptual\/ SecureCodingGuide\/SecureCodingGuide.pdf accessed on 4-Dec-2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Armando G.\n       \n      Costa and \n      \n      \n      A.\n       \n      Merlo\n      \n  \n  . \n  Formal modeling and reasoning about the android security framework. In C. Palamidessi and M. Ryan editors Trustworthy Global Computing volume \n  8191\n   of \n  Lecture Notes in Computer Science pages \n  64\n  --\n  81\n  . \n  Springer Berlin Heidelberg 2013\n  .  A. Armando G. Costa and A. Merlo. Formal modeling and reasoning about the android security framework. In C. Palamidessi and M. Ryan editors Trustworthy Global Computing volume 8191 of Lecture Notes in Computer Science pages 64--81. Springer Berlin Heidelberg 2013.","DOI":"10.1007\/978-3-642-41157-1_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480707"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2013.03.009"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.4.a1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/514702.514705"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2010.5665792"},{"volume-title":"MIT Press","year":"1999","author":"Clarke E. M.","key":"e_1_3_2_1_12_1"},{"volume-title":"Department of Computer Science","year":"2002","author":"Cooper K. D.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2009.07.005"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.11.021"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.istr.2008.02.001"},{"volume-title":"White House","year":"2013","author":"Digital Services Advisory Group and Federal Chief Information Officers Council.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2009.06.005"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653691"},{"volume-title":"USA","year":"2004","author":"Erlingsson U.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046779"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647770.734262"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/54289.871709"},{"key":"e_1_3_2_1_24_1","unstructured":"G. Holzmann. The Spin model checker. Addison-Wesley Professional first edition 2003.  G. Holzmann. The Spin model checker. Addison-Wesley Professional first edition 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70724"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368187"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755732"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"volume-title":"SummerCon","year":"2012","author":"Oberheide J.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2009.39"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_36_1","first-page":"481","volume-title":"Proceedings of the 4th Workshop on Advances in Modal Logic (AIML'02)","author":"Schnoebelen Ph.","year":"2003"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945448"},{"key":"e_1_3_2_1_38_1","first-page":"429","volume-title":"Lectures on Petri Nets I: Basic Models, Advances in Petri Nets. The volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl","author":"Valmari A.","year":"1996"},{"key":"e_1_3_2_1_39_1","first-page":"559","volume-title":"Proceedings of the 22nd USENIX Security Symposium","author":"Wang T.","year":"2013"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.16"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2022245.2022255"}],"event":{"name":"WiSec'14: 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"],"location":"Oxford United Kingdom","acronym":"WiSec'14"},"container-title":["Proceedings of the 2014 ACM conference on Security and privacy in wireless & mobile networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2627393.2627410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2627393.2627410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:35Z","timestamp":1750230095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2627393.2627410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,23]]},"references-count":40,"alternative-id":["10.1145\/2627393.2627410","10.1145\/2627393"],"URL":"https:\/\/doi.org\/10.1145\/2627393.2627410","relation":{},"subject":[],"published":{"date-parts":[[2014,7,23]]},"assertion":[{"value":"2014-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}