Extending Security-by-Contract with Quantitative Trust on Mobile Devices - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Extending Security-by-Contract with Quantitative Trust on Mobile Devices

Résumé

Security-by-Contract (S×C) is a novel paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic trust management infrastructure. Indeed, we enhance the already existing architecture by adding new modules and configurations for contracts managing. At deploy-time, our system decides the run-time configuration depending on the credentials of the contract provider. Roughly, 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. The main advantage of this method is an automatic management of the level of trust of software and contract releasers.
Fichier principal
Vignette du fichier
IMIS10.pdf (292.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00536705 , version 1 (16-11-2010)

Identifiants

  • HAL Id : inria-00536705 , version 1

Citer

Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, et al.. Extending Security-by-Contract with Quantitative Trust on Mobile Devices. 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010), Feb 2010, Krakow, Poland. ⟨inria-00536705⟩

Collections

CONNECT
144 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More