Security-by-Contract-with-Trust for Mobile Devices

Gabriele Costa (1) , Aliaksandr Lazouski (1) , Fabio Martinelli (2) , Ilaria Matteucci (2) , Valérie Issarny (3) , Rachid Saadi (3) , Nicola Dragoni (4) , Fabio Massacci (5)

1 Dipartimento di Informatica [Pisa]
2 IIT-CNR - Istituto di Informatica e Telematica
3 ARLES - Software architectures and distributed systems
4 IMM - Department of Informatics and Mathematical Modelling [Lyngby]
5 Dipartimento di Ingegneria e Scienza dell'Informazione

Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present the an extension of S×C, called Security-by-Contract-with-Trust (S×C×T). Indeed, we enrich the S×C architecture by integrating a trust model and adding new modules and configurations for managing contracts. Indeed, at deploy-time, our system decides the run-time configuration depending on the credentials of the contract provider. The run-time environment can both enforce a security policy and monitor the declared contract. According to the actual behaviour of the running program our architecture updates the trust level associated with the contract provider. We also present a possible application of our framework in the scenario of a mobile application marketplace, e.g., Apple AppStore, Cydia, Android Market, that, nowadays, are considered as one of the most attractive e-commerce activity for both mobile application developers and industries of mobile devices. Since the number of applications increases, Mobile Applications Marketplace (MAMp) sets up recommendation systems that rank and highlight mobile applications by category, social activity, etc. The S×C×T framework we propose is applied in this scenario for providing security on cus- tomers' mobile devices as well as help Mobile Applications Marketplaces to enhance their recommendation systems with security feedback. The main advantage of this method is an automatic management of the level of trust of software and contract releasers and a unified way for dealing with both security and trust.

Keywords: Managing Feedback; Security-by-Contract; Contract Monitoring; Trust Management; Mobile Application Criticality; Managing Feedback.

Domains: Cryptography and Security [cs.CR]

Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, et al.. Security-by-Contract-with-Trust for Mobile Devices. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2010, 1 (4), pp.75-91. ⟨inria-00549662⟩