A survey of the opacity of discrete event systems

Abstract

In recent years, with the widespread application of information network technology, information security has become increasingly important. More information leaks occur during the exchange of information flows, and opacity is a very important concept in the exchange of system information flows. It refers to the inability of external intruders to observe and infer the nature of key system behaviors through system non secret behaviors. "Opacity" is an inherent attribute of a system. The related research on opacity is widely used in various industrial control fields to meet system security and privacy requirements. This article summarizes and compares various definitions and implementation methods related to the research on opacity in discrete event systems, and analyzes their respective use scenarios and differences based on the characteristics of various types of opacity; The mathematical conditions and complexity of various opacity implementations are summarized, and the complexity of different implementations is compared. The reasons for the different complexity of different implementations are analyzed; Finally, according to the current development direction of opacity research, the future research direction of opacity is prospected.