Spyware Detection using Temporal Logic

Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

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.

Download


Paper Citation


in Harvard Style

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 - Volume 1: ForSE, ISBN 978-989-758-359-9, pages 690-699. DOI: 10.5220/0007704806900699


in Bibtex Style

@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 - Volume 1: ForSE,},
year={2019},
pages={690-699},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007704806900699},
isbn={978-989-758-359-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 5th International Conference on Information Systems Security and Privacy - Volume 1: ForSE,
TI - Spyware Detection using Temporal Logic
SN - 978-989-758-359-9
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