Autómatas de Seguridad en Maquinas