Towards a New Quantitative Availability Model for Computer Systems Based on Classifications of Security Requirements. - Chaima Boulifi; Mouna Jouini (Int. J. Syst. Softw. Secur. Prot., 2022)