A Language and Framework for Development of Secure Mobile Applications