SLA-Based Secure Cloud Application Development: The SPECS Framework