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

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

Full description

Bibliographic Details
Main Authors: Tao Feng, Taining Chen, Xiang Gong
Format: Article
Language:English
Published: MDPI AG 2024-02-01
Series:Information
Subjects:
CPN tools
ISA100.11a standard
colored Petri net theory
formal analysis
Online Access:https://www.mdpi.com/2078-2489/15/2/118

Similar Items

Similar Items