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.
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.
Artículo:
Diseño de Antena de Parche con Ranura en Forma de Rombos para Comunicaciones Inalámbricas
Artículo:
Correlación cruzada y Estimación de la DOA para una Matriz en Forma de L a través de la Minimización de la Norma Atómica Desacoplada
Artículo:
Criterios de oscilación para ecuaciones diferenciales de Emden-Fowler de tercer orden con coeficientes neutros no acotados
Artículo:
Control de formación antidisturbios adaptativo basado en Broad-RBFNN para una clase de sistemas no tripulados aeroespaciales en grupo con múltiples incertidumbres de alta dinámica.
Artículo:
Modelo de diagnóstico de cáncer cervical utilizando Extreme Gradient Boosting y Optimización de Luciérnagas Bioinspirada
Informe, reporte:
Diagnóstico sobre la logística del comercio internacional y su incidencia en la competitividad de las exportaciones de los países miembros
Artículo:
Nuevas necesidades cosméticas : tendencias y productos específicos
Manual:
Química de los taninos
Artículo:
Influencia del COVID-19 en las dinámicas de exportación, producción y consumo de carne vacuna en Colombia y el mundo: Una revisión monográfica.