Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/59562' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/59562' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices

Security-by-contract is a paradigm proposed for the secure installation, usage, and monitoring of apps into mobile devices, with the aim of establishing, controlling, and, if necessary, enforcing security-critical behaviors. In this paper, we extend this paradigm with new functionalities allowing for a quantitative estimation of such behaviors, in order to reveal in real time the more and more challenging subtleties of new-generation malware and repackaged apps. The novel paradigm is based on formal means and techniques ranging from statistical analysis to probabilistic model checking. The framework, deployed in the Android environment, is evaluated by examining both its effectiveness with respect to a benchmark of real-world malware and its effect on the execution of genuine, secure apps.

Soft Computing, 2020

Autori esterni: Alessandro Aldini (Università di Urbino)
Autori IIT:

Antonio La Marra

Foto di Antonio La Marra

Tipo: Contributo in rivista ISI
Area di disciplina: Computer Science & Engineering

File: main.pdf

Attività: Sicurezza di dispositivi mobili