Extending Security-by-Contract with Quantitative Trust on Mobile Devices