Biblioteca122.739 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 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

  • 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