{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:46Z","timestamp":1750306126511,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,2]],"date-time":"2017-04-02T00:00:00Z","timestamp":1491091200000},"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":[[2017,4,2]]},"DOI":"10.1145\/3052973.3052991","type":"proceedings-article","created":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T12:22:54Z","timestamp":1490962974000},"page":"612-624","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["SPOKE"],"prefix":"10.1145","author":[{"given":"Ruowen","family":"Wang","sequence":"first","affiliation":[{"name":"Samsung Research America, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed M.","family":"Azab","sequence":"additional","affiliation":[{"name":"Samsung Research America, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Enck","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ninghui","family":"Li","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Ning","sequence":"additional","affiliation":[{"name":"Samsung Research America, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xun","family":"Chen","sequence":"additional","affiliation":[{"name":"Samsung Research America, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenbo","family":"Shen","sequence":"additional","affiliation":[{"name":"Samsung Research America, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yueqiang","family":"Cheng","sequence":"additional","affiliation":[{"name":"Samsung Research America, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Android Testing. http:\/\/developer.android.com\/tools\/testing\/index.html.  Android Testing. http:\/\/developer.android.com\/tools\/testing\/index.html."},{"key":"e_1_3_2_1_2_1","unstructured":"AWS Device Farm of Mobile App Testing. https:\/\/aws.amazon.com\/device-farm\/.  AWS Device Farm of Mobile App Testing. https:\/\/aws.amazon.com\/device-farm\/."},{"key":"e_1_3_2_1_3_1","unstructured":"EMMA\n  : a free Java code coverage tool. http:\/\/emma.sourceforge.net.  EMMA: a free Java code coverage tool. http:\/\/emma.sourceforge.net."},{"key":"e_1_3_2_1_4_1","unstructured":"Google Play Store Beta Testing. http:\/\/developer.android.com\/distribute\/googleplay\/developer-console.html.  Google Play Store Beta Testing. http:\/\/developer.android.com\/distribute\/googleplay\/developer-console.html."},{"key":"e_1_3_2_1_5_1","unstructured":"Joshua Drake Stagefright: Scary Code in the Heart of Android. https:\/\/www.blackhat.com\/us-15\/briefings.  Joshua Drake Stagefright: Scary Code in the Heart of Android. https:\/\/www.blackhat.com\/us-15\/briefings."},{"key":"e_1_3_2_1_6_1","unstructured":"Profiling with Traceview. http:\/\/developer.android.com\/tools\/debugging\/debugging-tracing.html.  Profiling with Traceview. http:\/\/developer.android.com\/tools\/debugging\/debugging-tracing.html."},{"key":"e_1_3_2_1_7_1","unstructured":"Security-Enhanced Linux in Android. https:\/\/source.android.com\/security\/selinux.  Security-Enhanced Linux in Android. https:\/\/source.android.com\/security\/selinux."},{"key":"e_1_3_2_1_8_1","unstructured":"SELinux Access Vector Rules. http:\/\/selinuxproject.org\/page\/AVCRules.  SELinux Access Vector Rules. http:\/\/selinuxproject.org\/page\/AVCRules."},{"key":"e_1_3_2_1_9_1","unstructured":"SELinux Policy Analysis Tools. https:\/\/github.com\/TresysTechnology\/setools.  SELinux Policy Analysis Tools. https:\/\/github.com\/TresysTechnology\/setools."},{"key":"e_1_3_2_1_10_1","unstructured":"SELinux Type Statements. http:\/\/selinuxproject.org\/page\/TypeStatements.  SELinux Type Statements. http:\/\/selinuxproject.org\/page\/TypeStatements."},{"key":"e_1_3_2_1_11_1","unstructured":"Testdroid. http:\/\/testdroid.com\/.  Testdroid. http:\/\/testdroid.com\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368310.1368345"},{"key":"e_1_3_2_1_13_1","volume-title":"Test-driven development: by example","author":"Beck K.","year":"2003","unstructured":"K. Beck . Test-driven development: by example . Addison-Wesley Professional , 2003 . K. Beck. Test-driven development: by example. Addison-Wesley Professional, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of the Intl. Conf. on Software Testing Analysis & Review","author":"Burr K.","year":"1998","unstructured":"K. Burr and W. Young . Combinatorial test techniques: Table-based automation, test generation and code coverage . In Proc. of the Intl. Conf. on Software Testing Analysis & Review . San Diego , 1998 . K. Burr and W. Young. Combinatorial test techniques: Table-based automation, test generation and code coverage. In Proc. of the Intl. Conf. on Software Testing Analysis & Review. San Diego, 1998."},{"key":"e_1_3_2_1_15_1","volume-title":"Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems. In NDSS '09","author":"Chen H.","year":"2009","unstructured":"H. Chen , N. Li , and Z. Mao . Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems. In NDSS '09 , 2009 . H. Chen, N. Li, and Z. Mao. Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems. In NDSS '09, 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619091"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007465528199"},{"key":"e_1_3_2_1_20_1","first-page":"206","volume-title":"UAI'99","author":"Friedman N.","year":"1999","unstructured":"N. Friedman , I. Nachman , and D. Pe\u00e9r . Learning Bayesian Network Structure from Massive Datasets: The Sparse Candidate Algorithm . In UAI'99 , pages 206 -- 215 . Morgan Kaufmann Publishers Inc ., 1999 . N. Friedman, I. Nachman, and D. Pe\u00e9r. Learning Bayesian Network Structure from Massive Datasets: The Sparse Candidate Algorithm. In UAI'99, pages 206--215. Morgan Kaufmann Publishers Inc., 1999."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1805874.1805982"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AIRE.0000045502.10941.a9"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24006-3_8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133058.1133063"},{"key":"e_1_3_2_1_25_1","volume-title":"Analyzing Integrity Protection in the SELinux Example Policy. In USENIX Security '03","author":"Jaeger T.","year":"2003","unstructured":"T. Jaeger , R. Sailer , and X. Zhang . Analyzing Integrity Protection in the SELinux Example Policy. In USENIX Security '03 , 2003 . T. Jaeger, R. Sailer, and X. Zhang. Analyzing Integrity Protection in the SELinux Example Policy. In USENIX Security '03, 2003."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990053"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483777"},{"key":"e_1_3_2_1_28_1","volume-title":"USENIX Annual Technical Conference '01","author":"Loscocco P.","year":"2001","unstructured":"P. Loscocco and S. Smalley . Integrating Flexible Support for Security Policies into the Linux Operating System . In USENIX Annual Technical Conference '01 , number February, pages 29--42 , 2001 . P. Loscocco and S. Smalley. Integrating Flexible Support for Security Policies into the Linux Operating System. In USENIX Annual Technical Conference '01, number February, pages 29--42, 2001."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.60"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1987.10009"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382798"},{"key":"e_1_3_2_1_34_1","volume-title":"Oct.","author":"Reshetova E.","year":"2015","unstructured":"E. Reshetova , F. Bonazzi , T. Nyman , R. Borgaonkar , and N. Asokan . Characterizing SEAndroid Policies in the Wild. ArXiv e-prints arXiv:1510.05497 , Oct. 2015 . E. Reshetova, F. Bonazzi, T. Nyman, R. Borgaonkar, and N. Asokan. Characterizing SEAndroid Policies in the Wild. ArXiv e-prints arXiv:1510.05497, Oct. 2015."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.22"},{"key":"e_1_3_2_1_37_1","volume-title":"NDSS '13","author":"Smalley S.","year":"2013","unstructured":"S. Smalley and R. Craig . Security Enhanced (SE) Android: Bringing Flexible MAC to Android . In NDSS '13 , 2013 . S. Smalley and R. Craig. Security Enhanced (SE) Android: Bringing Flexible MAC to Android. In NDSS '13, 2013."},{"issue":"43","key":"e_1_3_2_1_38_1","first-page":"139","article-title":"Implementing selinux as a linux security module","volume":"1","author":"Smalley S.","year":"2001","unstructured":"S. Smalley , C. Vance , and W. Salamon . Implementing selinux as a linux security module . NAI Labs Report , 1 ( 43 ): 139 , 2001 . S. Smalley, C. Vance, and W. Salamon. Implementing selinux as a linux security module. NAI Labs Report, 1(43):139, 2001.","journal-title":"NAI Labs Report"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23145"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414456.2414500"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"e_1_3_2_1_42_1","first-page":"351","volume-title":"In USENIX Security '15","author":"Wang R.","year":"2015","unstructured":"R. Wang , W. Enck , D. Reeves , X. Zhang , P. Ning , D. Xu , W. Zhou , and A. M. Azab . EASEAndroid: Automatic Policy Analysis and Refinement for Security Enhanced Android via Large-Scale Semi-Supervised Learning . In In USENIX Security '15 , pages 351 -- 366 , Aug. 2015 . R. Wang, W. Enck, D. Reeves, X. Zhang, P. Ning, D. Xu, W. Zhou, and A. M. Azab. EASEAndroid: Automatic Policy Analysis and Refinement for Security Enhanced Android via Large-Scale Semi-Supervised Learning. In In USENIX Security '15, pages 351--366, Aug. 2015."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377863"},{"key":"e_1_3_2_1_44_1","first-page":"29","volume-title":"DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis. In USENIX Security '12","author":"Yan L. K.","year":"2012","unstructured":"L. K. Yan and H. Yin . DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis. In USENIX Security '12 , pages 29 -- 29 , 2012 . L. K. Yan and H. Yin. DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis. In USENIX Security '12, pages 29--29, 2012."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516676"}],"event":{"name":"ASIA CCS '17: ACM Asia Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Abu Dhabi United Arab Emirates","acronym":"ASIA CCS '17"},"container-title":["Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3052991","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3052973.3052991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:57Z","timestamp":1750217817000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3052991"}},"subtitle":["Scalable Knowledge Collection and Attack Surface Analysis of Access Control Policy for Security Enhanced Android"],"short-title":[],"issued":{"date-parts":[[2017,4,2]]},"references-count":45,"alternative-id":["10.1145\/3052973.3052991","10.1145\/3052973"],"URL":"https:\/\/doi.org\/10.1145\/3052973.3052991","relation":{},"subject":[],"published":{"date-parts":[[2017,4,2]]},"assertion":[{"value":"2017-04-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}