Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani, Nabil El Ioini, Filippo Gaudenzi. Modeling time, probability, and configuration constraints for continuous cloud service certification. Computers & Security, 72:234-254, 2018. [doi]
Abstract is missing.