Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool

This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and analysis of the identified security threats. Second...

Descrición completa

Detalles Bibliográficos

Principais autores:	Tao Feng, Taining Chen, Xiang Gong
Formato:	Artigo
Idioma:	Inglês
Publicado:	MDPI AG 2024-02-01
Series:	Information
Assuntos:	CPN tools ISA100.11a standard colored Petri net theory formal analysis
Acceso en liña:	https://www.mdpi.com/2078-2489/15/2/118
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!