A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Enforcing Mobile Application Security Through Probabilistic Contracts
Engineering Secure Software and Systems
Security for mobile devices is a problem of capital importance, especially due to new threats coming from malicious applications. Though several security solutions have already been proposed, security requirements have been always considered as binary: allow or deny. We argue that a more realistic vision of security can be given using probabilistic and quantitative requirements. In this paper, we introduce a probabilistic description of the behavior of an application that a user is going todblp:conf/essos/MartinelliMSS14 fatcat:xtjjtzsbubfnrjfofbgrrwvapq