Probabilistic Contract Compliance for Mobile Applications

G. Dini; F. Martinelli; A. Saracino; D. Sgandurra

doi:10.1109/ARES.2013.79

Probabilistic Contract Compliance for Mobile Applications

G. Dini, F. Martinelli, A. Saracino, D. Sgandurra

Department of Information Security

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	2013 International Conference on Availability, Reliability and Security
Pages	599-606
Number of pages	8
DOIs	https://doi.org/10.1109/ARES.2013.79
Publication status	Published - 1 Sept 2013

Keywords

mobile computing
operating systems (computers)
probabilistic automata
smart phones
Action Node
Android smart phones
PICARD monitoring system
mobile applications
probabilistic contract compliance
probabilistic contract on Android
Androids
Automata
Contracts
Humanoid robots
Markov processes
Monitoring
Probabilistic logic
Android
Malware
Probabilistic contract
Repackaging

Access to Document

10.1109/ARES.2013.79

http://ieeexplore.ieee.org/document/6657295/

Cite this

@inproceedings{18dd5be430ef423c92d0083b274206a8,

title = "Probabilistic Contract Compliance for Mobile Applications",

keywords = "mobile computing, operating systems (computers), probabilistic automata, smart phones, Action Node, Android smart phones, PICARD monitoring system, mobile applications, probabilistic contract compliance, probabilistic contract on Android, Androids, Automata, Contracts, Humanoid robots, Markov processes, Monitoring, Probabilistic logic, Android, Malware, Probabilistic contract, Repackaging",

author = "G. Dini and F. Martinelli and A. Saracino and D. Sgandurra",

year = "2013",

month = sep,

day = "1",

doi = "10.1109/ARES.2013.79",

language = "Undefined/Unknown",

pages = "599--606",

booktitle = "2013 International Conference on Availability, Reliability and Security",

}

TY - GEN

T1 - Probabilistic Contract Compliance for Mobile Applications

AU - Dini, G.

AU - Martinelli, F.

AU - Saracino, A.

AU - Sgandurra, D.

PY - 2013/9/1

Y1 - 2013/9/1

KW - mobile computing

KW - operating systems (computers)

KW - probabilistic automata

KW - smart phones

KW - Action Node

KW - Android smart phones

KW - PICARD monitoring system

KW - mobile applications

KW - probabilistic contract compliance

KW - probabilistic contract on Android

KW - Androids

KW - Automata

KW - Contracts

KW - Humanoid robots

KW - Markov processes

KW - Monitoring

KW - Probabilistic logic

KW - Android

KW - Malware

KW - Probabilistic contract

KW - Repackaging

U2 - 10.1109/ARES.2013.79

DO - 10.1109/ARES.2013.79

M3 - Conference contribution

SP - 599

EP - 606

BT - 2013 International Conference on Availability, Reliability and Security

ER -