loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Fausto Fasano 1 ; Fabio Martinelli 2 ; Francesco Mercaldo 3 ; Vittoria Nardone 4 and Antonella Santone 1

Affiliations: 1 Department of Bioscience and Territory, University of Molise, Pesche (IS) and Italy ; 2 Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Pisa and Italy ; 3 Department of Bioscience and Territory, University of Molise, Pesche (IS), Italy, Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Pisa and Italy ; 4 Department of Engineering, University of Sannio, Benevento and Italy

Keyword(s): Malware, Android, Security, Formal Methods, Temporal Logic.

Abstract: In recent years smartphones have become essential in daily life. A user can perform several operations through a smarthphone since they are increasingly similar to a personal computer. Furthermore, smartphones collect a large number of sensitive information. The most widespread mobile operating system is Android, this is the reason why malware writers target this platform. Malicious behaviours able to steal private information are called spyware. This paper aims to detect this kind of threat in mobile environment: we present a preliminary framework able to recognize Android spyware. It is based on model checking technique and it uses temporal logic formulae to identify malicious behaviours. We evaluate the proposed framework using a synthetic dataset obtaining a precision equal to 0.98 and a recall equal to 1.

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 3.15.214.185

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:
Fasano, F.; Martinelli, F.; Mercaldo, F.; Nardone, V. and Santone, A. (2019). Spyware Detection using Temporal Logic. In Proceedings of the 5th International Conference on Information Systems Security and Privacy - ForSE; ISBN 978-989-758-359-9; ISSN 2184-4356, SciTePress, pages 690-699. DOI: 10.5220/0007704806900699

@conference{forse19,
author={Fausto Fasano. and Fabio Martinelli. and Francesco Mercaldo. and Vittoria Nardone. and Antonella Santone.},
title={Spyware Detection using Temporal Logic},
booktitle={Proceedings of the 5th International Conference on Information Systems Security and Privacy - ForSE},
year={2019},
pages={690-699},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007704806900699},
isbn={978-989-758-359-9},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Information Systems Security and Privacy - ForSE
TI - Spyware Detection using Temporal Logic
SN - 978-989-758-359-9
IS - 2184-4356
AU - Fasano, F.
AU - Martinelli, F.
AU - Mercaldo, F.
AU - Nardone, V.
AU - Santone, A.
PY - 2019
SP - 690
EP - 699
DO - 10.5220/0007704806900699
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