loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Fabio Martinelli 1 ; Francesco Mercaldo 1 and Vittoria Nardone 2

Affiliations: 1 Consiglio Nazionale delle Ricerche, Italy ; 2 University of Sannio, Italy

Keyword(s): Android, Model Checking, Security.

Abstract: Nowadays Android is the most widespread operating system. This is the reason why malware writers target it. Both researchers and commercial antimalware provide several solutions to fix and detect this phenomenon. They analyze one single application per time using combinations of static, dynamic and behavior based techniques. However, one of the last new threats is the collusion attack. In order to perpetrate this attack the malicious behaviour is divided between two or more applications: collusion refers to multiple applications that accomplish their fragment of malicious behaviour and then communicate using the Inter Component Communication mechanism provided by Android platform. Basically the colluded applications intentionally put in view private and sensitive information. The aim of this paper is to investigate whether legitimate and malware applications share private data. One way to exchange data between different applications in Android environment is through Shared Preference s. In this preliminary work we investigate whether an application transfers data using Shared Preferences with public visibility. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.191.240.243

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Martinelli, F.; Mercaldo, F. and Nardone, V. (2018). Identifying Insecure Features in Android Applications using Model Checking. In Proceedings of the 4th International Conference on Information Systems Security and Privacy - ForSE; ISBN 978-989-758-282-0; ISSN 2184-4356, SciTePress, pages 589-596. DOI: 10.5220/0006758105890596

@conference{forse18,
author={Fabio Martinelli. and Francesco Mercaldo. and Vittoria Nardone.},
title={Identifying Insecure Features in Android Applications using Model Checking},
booktitle={Proceedings of the 4th International Conference on Information Systems Security and Privacy - ForSE},
year={2018},
pages={589-596},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006758105890596},
isbn={978-989-758-282-0},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Information Systems Security and Privacy - ForSE
TI - Identifying Insecure Features in Android Applications using Model Checking
SN - 978-989-758-282-0
IS - 2184-4356
AU - Martinelli, F.
AU - Mercaldo, F.
AU - Nardone, V.
PY - 2018
SP - 589
EP - 596
DO - 10.5220/0006758105890596
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic