Security-by-Contract for the OSGi Platform

Abstract : The natural business model of OSGi is dynamic loading and removal of bundles or services on an OSGi platform. If bundles can come from different stakeholders, how do we make sure that one’s services will only be invoked by the authorized bundles? A simple solution is to interweave functional and security logic within each bundle, but this decreases the benefits of using a common platform for service deployment and is a well-known source of errors. Our solution is to use the Security-by-Contract methodology (SxC) for loading time security verification to separate the security from the business logic while controlling access to applications. The basic idea is that each bundle has a contract embedded into its manifest, that contains details on functional requirements and permissions for access by other bundles on the platform. During bundle installation the contract is matched with the platform security policy (aggregating the contracts of the installed bundles). We illustrate the SxC methodology on a concrete case study for home gateways and discuss how it can help to overcome the OSGi security management shortcomings.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01518231
Contributor : Hal Ifip <>
Submitted on : Thursday, May 4, 2017 - 1:45:26 PM
Last modification on : Thursday, May 4, 2017 - 2:53:54 PM
Long-term archiving on : Saturday, August 5, 2017 - 1:05:48 PM

File

978-3-642-30436-1_30_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Olga Gadyatskaya, Fabio Massacci, Anton Philippov. Security-by-Contract for the OSGi Platform. 27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.364-375, ⟨10.1007/978-3-642-30436-1_30⟩. ⟨hal-01518231⟩

Share

Metrics

Record views

160

Files downloads

151