Se propuso una nueva clase de criptosistemas llamada cifrado verificable (VE) que facilita la verificación de dos textos en claro sin necesidad de descifrado en nuestro artículo anterior. Las principales contribuciones de nuestro estudio anterior incluyen lo siguiente. (1) Ciertos criptosistemas, como el cifrado de una sola vez, pertenecen a la clase VE. (2) Construimos un algoritmo de autenticación para desbloquear dispositivos locales a través de una red que utiliza la propiedad de VE. (3) Como resultado de la implementación del algoritmo de autenticación basado en VE utilizando el cifrado de una sola vez, los tiempos de procesamiento de cifrado, verificación y descifrado son inferiores a 1 ms incluso con una longitud de texto de 8192 bits. Toda la información personal utilizada en el algoritmo está protegida por la perfecta confidencialidad de Shanon. (4) Se discutió la robustez del algoritmo contra ataques de intermediario y ataques de texto en claro. Sin embargo, la discusión sobre la seguridad del algoritmo fue insuficiente desde las siguientes dos perspectivas: (A) no se discutió su robustez contra otros ataques teóricos como ataques solo de texto cifrado, texto en claro conocido, texto en claro elegido, texto en claro elegido adaptativo, texto cifrado elegido y texto cifrado elegido adaptativo; (B) no se realizó un análisis de seguridad formal utilizando herramientas de verificación de seguridad. En este artículo, analizamos la seguridad del algoritmo de autenticación basado en VE discutiendo su robustez contra los ataques teóricos mencionados y validando el algoritmo utilizando una herramienta de verificación de seguridad. Estos análisis de seguridad muestran que los ataques conocidos son ineficaces contra el algoritmo.