Security-by- Contract (SxC) for Software and Services of Mobile Systems