No se ha encontrado un modelo formal (conocido en la jerga como Model checking) que garantice la seguridad de un sistema electrónico de votación.