SeCloud: Security-driven Engineering of Cloud-based applications