Los protocolos de seguridad son la base de la comunicación de red moderna, demostrando que el problema de seguridad de los protocolos es uno de los temas de investigación candentes hoy en día. Los datos en el IoT industrial suelen transmitirse a través de canales inseguros, lo que conlleva ciertos riesgos de seguridad. La Lógica de Eventos es un método formal para demostrar las propiedades de seguridad de los protocolos basados en sistemas de eventos. La nueva extensión teórica se basa en la teoría de la Lógica de Eventos, que propone nuevas clases de eventos y un axioma y reglas de inferencia relacionadas para ataques maliciosos y problemas de privacidad de seguridad en protocolos emergentes, así como la ampliación de las descripciones coincidentes de los comportamientos de protocolo en algoritmos criptográficos complejos y técnicas de intercambio de información para aplicaciones para el análisis formal de protocolos de autenticación para el Internet Industrial de las Cosas. Finalmente, se lleva a cabo un análisis formal utilizando el ejemplo de un protocolo de autenticación seguro multifactorial para el IoT industrial, que demuestra la seguridad del protocolo.