Resumen

Con el rápido desarrollo de la tecnología de comunicación inalámbrica en el campo de los sistemas de control industrial, Wireless HART es un estándar inalámbrico internacional, debido a su bajo costo y fuerte escalabilidad, así como a su amplio rango de aplicaciones en el campo del control industrial. Sin embargo, al ser una comunicación más abierta, existe la posibilidad de un aumento de los ataques externos. En la actualidad, existen muchos tipos de investigaciones sobre la seguridad de protocolos inalámbricos en el país y en el extranjero, pero todos se centran en la realización de la función de seguridad del propio protocolo, lo que tiene ciertas limitaciones para la modelización formal de la evaluación de seguridad del protocolo. Teniendo en cuenta el estado de investigación mencionado, este documento toma el protocolo Wireless HART como objeto de investigación y adopta el método de detección de modelo que combina la teoría del modelo eCK y la teoría de la red de Petri coloreada para evaluar y mejorar la seguridad del protocolo. En primer lugar, se introdujo la teoría de la

• Materias:Cifrado de búsqueda Seguridad informática Reconstrucción virtual Detección de intrusos Sistema de programación
• Subjects:Search encryption Computer security Virtual reconstruction Intrusion detection Programming system
• Palabras claves:Desarrollo; Tecnología de comunicación inalámbrica; Wireless HART; Sistemas de control industrial; Evaluación de la seguridad; Seguridad de los protocolos
• Keywords:Development; Wireless communication technology; Wireless HART; Industrial control systems; Security assessment; Protocol security