QRES: Razonamiento Cuantitativo sobre los SLA de Seguridad Cifrados