Uma máquina de segurança dada esta livre de.