{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:23:57Z","timestamp":1761805437141,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1109\/ijcnn48605.2020.9207638","type":"proceedings-article","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T00:40:33Z","timestamp":1601426433000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["Malicious Collusion Detection in Mobile Environment by means of Model Checking"],"prefix":"10.1109","author":[{"given":"Rosangela","family":"Casolare","sequence":"first","affiliation":[]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39570-8_14"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-017-0296-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23089"},{"key":"ref13","first-page":"280","article-title":"IccTA: detecting inter-component privacy leaks in Android apps","author":"li","year":"2015","journal-title":"Proceedings of the International Conference on Software Engineering ICSE'94"},{"key":"ref14","first-page":"543","article-title":"Effective inter-component communication mapping in android: An essential step towards holistic security analysis","author":"octeau","year":"2013","journal-title":"Presented as part of the 22nd USENIX Security Symposium ( USENIX Security 13)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2019.107024"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/969628"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2015.143"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25560-1_3"},{"key":"ref6","article-title":"A model checking based proposal for mobile colluding attack detection","author":"casolare","year":"2020","journal-title":"IEEE Big Data"},{"key":"ref5","first-page":"51","article-title":"Analysis of the communication between colluding applications on modern smart-phones","author":"marforio","year":"2012","journal-title":"Proceedings of the 28th Annual Computer Security Applications Conference"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1999995.2000018"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2523912"},{"key":"ref2","first-page":"3","article-title":"Quire: Lightweight provenance for smart phone operating systems","volume":"31","author":"dietz","year":"2011","journal-title":"USENIX Security Symposium"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2619091"},{"key":"ref9","first-page":"101691","article-title":"Model checking for malicious family detection and phylogenetic analysis in mobile environment","author":"cimino","year":"2019","journal-title":"Computers & Security"}],"event":{"name":"2020 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2020,7,19]]},"location":"Glasgow, United Kingdom","end":{"date-parts":[[2020,7,24]]}},"container-title":["2020 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9200848\/9206590\/09207638.pdf?arnumber=9207638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:53:53Z","timestamp":1656453233000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9207638\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ijcnn48605.2020.9207638","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}