MobiS: A Solution for the Development of Secure Applications for Mobile Devices