Formal Safety Assessment and Improvement of DDS Protocol for Industrial Data Distribution Service

Jinze Du, Chengtai Gao and Tao Feng ()
Additional contact information
Jinze Du: School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, China
Chengtai Gao: School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, China
Tao Feng: School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, China

Future Internet, 2022, vol. 15, issue 1, 1-24

Abstract: The Data Distribution Service (DDS) for real-time systems is an industrial Internet communication protocol. Due to its distributed high reliability and the ability to transmit device data communication in real-time, it has been widely used in industry, medical care, transportation, and national defense. With the wide application of various protocols, protocol security has become a top priority. There are many studies on protocol security, but these studies lack a formal security assessment of protocols. Based on the above status, this paper evaluates and improves the security of the DDS protocol using a model detection method combining the Dolev–Yao attack model and the Coloring Petri Net (CPN) theory. Because of the security loopholes in the original protocol, a timestamp was introduced into the original protocol, and the shared key establishment process in the original protocol lacked fairness and consistency. We adopted a new establishment method to establish the shared secret and re-verified its security. The results show that the overall security of the protocol has been improved by 16.7% while effectively preventing current replay attack.

Keywords: DDS protocol; formal security assessment; Dolev–Yao attack model; CPN (search for similar items in EconPapers)
JEL-codes: O3 (search for similar items in EconPapers)
Date: 2022
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1999-5903/15/1/24/pdf (application/pdf)
https://www.mdpi.com/1999-5903/15/1/24/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jftint:v:15:y:2022:i:1:p:24-:d:1021545

Access Statistics for this article

Future Internet is currently edited by Ms. Grace You

More articles in Future Internet from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().