Security-by-Contract for the OSGi platform