inria-00536705, version 1
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
Gabriele Costa
1Nicola Dragoni 2Aliaksandr Lazouski 1Fabio Martinelli
3Fabio Massacci 4Ilaria Matteucci
3
4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010) (2010)
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.
- 1 : Dipartimento di Informatica [Pisa]
- Università di Pisa
- 2 : Department of Informatics and Mathematical Modelling [Lyngby] (DTU Informatics [Lyngby])
- Technical University of Denmark
- 3 : Istituto di Informatica e Telematica (IIT-CNR)
- Consiglio Nazionale delle Ricerche
- 4 : Dipartimento di Ingegneria e Scienza dell'Informazione
- Universita di Trento
- Collaboration : CONNECT
- Domaine : Informatique/Génie logiciel
- inria-00536705, version 1
- http://hal.inria.fr/inria-00536705
- oai:hal.inria.fr:inria-00536705
- Contributeur : Emmanuelle Grousset
- Soumis le : Mardi 16 Novembre 2010, 17:49:22
- Dernière modification le : Jeudi 18 Novembre 2010, 12:37:22






Documents associés
Exporter