Introducing Probabilities in Contract-Based Approaches for Mobile Application Security.

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra

Browse the full ESORICS paper archive.