| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
Abstract : 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.
Cited literature [18 references]
https://hal.inria.fr/inria-00536705
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Tuesday, November 16, 2010 - 5:49:22 PM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Thursday, February 17, 2011 - 3:08:16 AM
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Tuesday, November 16, 2010 - 5:49:22 PM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Thursday, February 17, 2011 - 3:08:16 AM
File
IMIS10.pdf
Files produced by the author(s)