A Secure Multi-Provider OSGi Platform Enabling Process-Isolation by Using Distribution