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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-02-01
|
| Series: | Information |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2078-2489/15/2/118 |
| _version_ | 1797297972109639680 |
|---|---|
| author | Tao Feng Taining Chen Xiang Gong |
| author_facet | Tao Feng Taining Chen Xiang Gong |
| author_sort | Tao Feng |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-07T22:28:06Z |
| format | Article |
| id | doaj.art-df13a5281f7b4d5aaa94d847072d2c2b |
| institution | Directory Open Access Journal |
| issn | 2078-2489 |
| language | English |
| last_indexed | 2024-03-07T22:28:06Z |
| publishDate | 2024-02-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Information |
| spelling | doaj.art-df13a5281f7b4d5aaa94d847072d2c2b2024-02-23T15:21:10ZengMDPI AGInformation2078-24892024-02-0115211810.3390/info15020118Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net ToolTao Feng0Taining Chen1Xiang Gong2School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, ChinaSchool of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, ChinaSchool of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, ChinaThis 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.https://www.mdpi.com/2078-2489/15/2/118CPN toolsISA100.11a standardcolored Petri net theoryformal analysis |
| spellingShingle | Tao Feng Taining Chen Xiang Gong Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool Information CPN tools ISA100.11a standard colored Petri net theory formal analysis |
| title | Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool |
| title_full | Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool |
| title_fullStr | Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool |
| title_full_unstemmed | Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool |
| title_short | Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool |
| title_sort | formal security analysis of isa100 11a standard protocol based on colored petri net tool |
| topic | CPN tools ISA100.11a standard colored Petri net theory formal analysis |
| url | https://www.mdpi.com/2078-2489/15/2/118 |
| work_keys_str_mv | AT taofeng formalsecurityanalysisofisa10011astandardprotocolbasedoncoloredpetrinettool AT tainingchen formalsecurityanalysisofisa10011astandardprotocolbasedoncoloredpetrinettool AT xianggong formalsecurityanalysisofisa10011astandardprotocolbasedoncoloredpetrinettool |