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

Autor:	Tao Feng, Taining Chen, Xiang Gong
Jazyk:	angličtina
Rok vydání:	2024
Předmět:	CPN tools ISA100.11a standard colored Petri net theory formal analysis Information technology T58.5-58.64
Zdroj:	Information, Vol 15, Iss 2, p 118 (2024)
Druh dokumentu:	article
ISSN:	15020118 2078-2489
DOI:	10.3390/info15020118
Popis:	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. Secondly, we use the CPN tool to model the protocol formally and conduct model checking and security analysis. Finally, we analyze and discuss the results of the model checking, which demonstrate that the ISA100.11a standard protocol may have vulnerabilities when certain security threats exist, and provide some suggestions to enhance the security of the protocol. This research provides a certain level of security assurance for the ISA100.11a standard protocol and serves as a reference for similar security research on protocols.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/df13a5281f7b4d5aaa94d847072d2c2b Zobrazit plný text záznamu View record in DOAJ Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.