Scheduling Security Model for a Cloud Environment