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

Abstract : Security-by-contract (SxC) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of SxC 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. Roughy, 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
Type de document :
Communication dans un congrès
IMIS 2010 : 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing, Feb 2010, Cracovie, Poland. IEEE Computer Society Press, 2010
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00458223
Contributeur : Brigitte Briot <>
Soumis le : vendredi 19 février 2010 - 16:43:26
Dernière modification le : vendredi 26 février 2010 - 13:51:26
Document(s) archivé(s) le : vendredi 18 juin 2010 - 18:37:35

Fichier

imis.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00458223, version 1

Collections

Citation

Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, et al.. Extending Security-by-Contract with Quantitative Trust on Mobile Devices. IMIS 2010 : 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing, Feb 2010, Cracovie, Poland. IEEE Computer Society Press, 2010. 〈inria-00458223〉

Partager

Métriques

Consultations de la notice

94

Téléchargements de fichiers

94