Biblioteca121.270 documentos en línea

Artículo

Formal Security Evaluation and Improvement of Wireless HART Protocol in Industrial Wireless NetworkEvaluación formal de la seguridad y mejora del protocolo inalámbrico HART en redes inalámbricas industriales

Resumen

Con el rpido desarrollo de la tecnologa de comunicacin inalmbrica en el campo de los sistemas de control industrial, Wireless HART es un estndar inalmbrico internacional, debido a su bajo coste y fuerte escalabilidad, as como su amplia gama de aplicaciones en el campo del control industrial. Sin embargo, es una comunicacin ms abierta, por lo que aumenta la posibilidad de ataques externos. En la actualidad, hay muchos tipos de investigacin sobre la seguridad del protocolo inalmbrico en el pas y en el extranjero, pero todos ellos se centran en la realizacin de la funcin de seguridad del propio protocolo, que tiene ciertas limitaciones para el modelado formal de la evaluacin de la seguridad del protocolo. Teniendo en cuenta el estado de la investigacin antes mencionado, este artculo toma el protocolo inalmbrico HART como objeto de investigacin y adopta el mtodo de deteccin de modelos que combina la teora de modelos eCK y la teora de redes de Petri coloreadas para evaluar y mejorar la seguridad del protocolo. En primer lugar, se introdujeron la teora de redes de Petri coloreadas y la herramienta de modelado CPN Tools para verificar la consistencia del modelo original del protocolo. Y se utiliz el modelo eCK para evaluar la seguridad del modelo original del protocolo. Se descubri que el protocolo tiene dos tipos de vulnerabilidades de ataque man-in-the-middle: manipulacin y engao. Con el objetivo de subsanar las lagunas de ataque del protocolo, se propuso un plan de mejora. Tras mejorar el protocolo original, se utiliz la herramienta de modelado CPN Tools para verificar la seguridad. Se comprob que la mejora del nuevo esquema puede prevenir eficazmente los ataques existentes y mejorar razonablemente la seguridad del protocolo.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento