Cloud Server Backup Resource Allocation Models Based on Probabilistic Protection. - Enhuai Cai; Ryuta Shiraki; Eiji Oki (DRCN, 2025)