{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:56:30Z","timestamp":1743018990973,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030440374"},{"type":"electronic","value":"9783030440381"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-44038-1_71","type":"book-chapter","created":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T09:04:07Z","timestamp":1585559047000},"page":"776-786","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Colluding Android Apps Detection via Model Checking"],"prefix":"10.1007","author":[{"given":"Rosangela","family":"Casolare","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittoria","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,31]]},"reference":[{"key":"71_CR1","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/j.cose.2017.06.002","volume":"74","author":"F Amato","year":"2018","unstructured":"Amato, F., Castiglione, A., De Santo, A., Moscato, V., Picariello, A., Persia, F., Sperl\u00ed, G.: Recognizing human behaviours in online social networks. Comput. Secur. 74, 355\u2013370 (2018)","journal-title":"Comput. Secur."},{"key":"71_CR2","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1016\/j.future.2017.08.016","volume":"87","author":"F Amato","year":"2018","unstructured":"Amato, F., Moscato, F., Moscato, V., Colace, F.: Improving security in cloud by formal modeling of IaaS resources. Future Gener. Comput. Syst. 87, 754\u2013764 (2018)","journal-title":"Future Gener. Comput. Syst."},{"key":"71_CR3","doi-asserted-by":"crossref","unstructured":"Andersen, J.R., Andersen, N., Enevoldsen, S., Hansen, M.M., Larsen, K.G., Olesen, S.R., Srba, J., Wortmann, J.K.: CAAL: concurrency workbench, Aalborg edition. In: Proceedings of the Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, 29\u201331 October 2015. LNCS, vol. 9399, pp. 573\u2013582. Springer (2015)","DOI":"10.1007\/978-3-319-25150-9_33"},{"key":"71_CR4","unstructured":"Asavoae, I.M., Blasco, J., Chen, T.M., Kalutarage, H.K., Muttik, I., Nguyen, H.N., Roggenbach, M., Shaikh, S.A.: Towards automated Android app collusion detection. In: Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, IMPS 2016, co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2016), London, UK, 6 April 2016, pp. 29\u201337 (2016)"},{"issue":"12","key":"71_CR5","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1002\/(SICI)1097-024X(199910)29:12<1123::AID-SPE275>3.0.CO;2-6","volume":"29","author":"R Barbuti","year":"1999","unstructured":"Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: LORETO: a tool for reducing state explosion in verification of LOTOS programs. Softw. Pract. Exper. 29(12), 1123\u20131147 (1999)","journal-title":"Softw. Pract. Exper."},{"issue":"3","key":"71_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s10703-005-1634-6","volume":"26","author":"R Barbuti","year":"2005","unstructured":"Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Reduced models for efficient CCS verification. Formal Methods Syst. Des. 26(3), 319\u2013350 (2005)","journal-title":"Formal Methods Syst. Des."},{"key":"71_CR7","doi-asserted-by":"crossref","unstructured":"Battista, P., Mercaldo, F., Nardone, V., Santone, A., Visaggio, C.A.: Identification of Android malware families with model checking. In: Proceedings of the 2nd International Conference on Information Systems Security and Privacy, ICISSP, vol. 1, pp. 542\u2013547 (2016)","DOI":"10.5220\/0005809205420547"},{"issue":"2","key":"71_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s11416-017-0296-4","volume":"14","author":"J Blasco","year":"2018","unstructured":"Blasco, J., Chen, T.M.: Automated generation of colluding apps for experimental research. J. Comput. Virol. Hacking Tech. 14(2), 127\u2013138 (2018)","journal-title":"J. Comput. Virol. Hacking Tech."},{"key":"71_CR9","unstructured":"Bugiel, S., Davi, L., Dmitrienko, A., Fischer, T., Sadeghi, A.-R., Shastry, B.: Towards taming privilege-escalation attacks on Android. In: NDSS, vol. 17, p. 19. Citeseer (2012)"},{"issue":"12","key":"71_CR10","doi-asserted-by":"publisher","first-page":"1230","DOI":"10.1109\/TSE.2018.2834344","volume":"45","author":"G Canfora","year":"2018","unstructured":"Canfora, G., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Visaggio, C.A.: LEILA: formal tool for identifying mobile malicious behaviour. IEEE Trans. Softw. Eng. 45(12), 1230\u20131252 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"71_CR11","doi-asserted-by":"crossref","unstructured":"Canfora, G., Medvet, E., Mercaldo, F., Visaggio, C.A.: Detecting Android malware using sequences of system calls. In: Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, pp. 13\u201320. ACM (2015)","DOI":"10.1145\/2804345.2804349"},{"key":"71_CR12","doi-asserted-by":"crossref","unstructured":"Canfora, G., Mercaldo, F., Visaggio, C.A.: Mobile malware detection using op-code frequency histograms. In: 2015 12th International Joint Conference on e-Business and Telecommunications (ICETE), vol. 4, pp. 27\u201338. IEEE (2015)","DOI":"10.5220\/0005537800270038"},{"key":"71_CR13","doi-asserted-by":"crossref","unstructured":"Casolare, R., Martinelli, F., Mercaldo, F., Santone, A.: A model checking based proposal for mobile colluding attack detection. In: IEEE BigData (2019, in press)","DOI":"10.1109\/BigData47090.2019.9006094"},{"issue":"3","key":"71_CR14","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.ymeth.2014.06.005","volume":"69","author":"M Ceccarelli","year":"2014","unstructured":"Ceccarelli, M., Cerulo, L., Santone, A.: De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods. Methods 69(3), 298\u2013305 (2014)","journal-title":"Methods"},{"key":"71_CR15","doi-asserted-by":"crossref","unstructured":"Chin, E., Felt, A.P., Greenwood, K., Wagner, D.: Analyzing inter-application communication in Android. In: Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services, pp. 239\u2013252. ACM (2011)","DOI":"10.1145\/1999995.2000018"},{"key":"71_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"EM Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)"},{"issue":"3","key":"71_CR17","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/2560563","volume":"23","author":"N de Francesco","year":"2014","unstructured":"de Francesco, N., Lettieri, G., Santone, A., Vaglini, G.: GreASE: a tool for efficient \u201cnonequivalence\u201d checking. ACM Trans. Softw. Eng. Methodol. (TOSEM) 23(3), 24 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"71_CR18","doi-asserted-by":"crossref","unstructured":"Marforio, C., Ritzdorf, H., Francillon, A., Capkun, S.: Analysis of the communication between colluding applications on modern smartphones. In: Proceedings of the 28th Annual Computer Security Applications Conference, pp. 51\u201360. ACM (2012)","DOI":"10.1145\/2420950.2420958"},{"issue":"6","key":"71_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/MSP.2015.143","volume":"13","author":"AM Memon","year":"2015","unstructured":"Memon, A.M., Anwar, A.: Colluding apps: tomorrow\u2019s mobile malware threat. IEEE Secur. Priv. 13(6), 77\u201381 (2015)","journal-title":"IEEE Secur. Priv."},{"key":"71_CR20","doi-asserted-by":"crossref","unstructured":"Mercaldo, F., Nardone, V., Santone, A., Visaggio, C.A.: Ransomware steals your phone. Formal methods rescue it. In: Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, 6\u20139 June 2016. LNCS, vol. 9688, pp. 212\u2013221. Springer (2016)","DOI":"10.1007\/978-3-319-39570-8_14"},{"key":"71_CR21","doi-asserted-by":"crossref","unstructured":"Mercaldo, F., Santone, A.: Deep learning for image-based mobile malware detection. J. Comput. Virol. Hacking Tech. 1\u201315 (2020)","DOI":"10.1007\/s11416-019-00346-7"},{"key":"71_CR22","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"issue":"6","key":"71_CR23","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1147\/JRD.2013.2284403","volume":"57","author":"D Sb\u00eerlea","year":"2013","unstructured":"Sb\u00eerlea, D., Burke, M.G., Guarnieri, S., Pistoia, M., Sarkar, V.: Automatic detection of inter-application permission leaks in Android applications. IBM J. Res. Dev. 57(6), 10\u20131 (2013)","journal-title":"IBM J. Res. Dev."},{"key":"71_CR24","unstructured":"Stirling, C.: An introduction to modal and temporal logics for CCS. In: Yonezawa, A., Ito, T. (eds.) Concurrency: Theory, Language, and Architecture. LNCS, vol. 491, pp. 2\u201320. Springer (1989)"},{"issue":"6","key":"71_CR25","doi-asserted-by":"publisher","first-page":"1252","DOI":"10.1109\/TIFS.2016.2523912","volume":"11","author":"K Xu","year":"2016","unstructured":"Xu, K., Li, Y., Deng, R.H.: ICCDetector: ICC-based malware detection on Android. IEEE Trans. Inf. Forensics Secur. 11(6), 1252\u20131264 (2016)","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"71_CR26","unstructured":"Zhou, Y., Wang, Z., Zhou, W., Jiang, X.: Hey, you, get off of my market: detecting malicious apps in official and alternative Android markets. In: NDSS, vol. 25, pp. 50\u201352 (2012)"}],"container-title":["Advances in Intelligent Systems and Computing","Web, Artificial Intelligence and Network Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44038-1_71","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T20:23:26Z","timestamp":1669321406000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-44038-1_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030440374","9783030440381"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44038-1_71","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"31 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshops of  the International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Caserta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"waina0a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}