Performability analysis of services in a software-defined networking adopting time-based moving target defense mechanisms.