[Q9] define propriedades de security e liveness