SLA}-Based Secure Cloud Application Development: The {SPECS} Framework