Security and privacy with opacity‐based state observation for finite state machine

Abstract

AbstractTopics on security and privacy are very fundamental and important in the Internet of Things (IoT). In this paper, we explore the impact of state observation on the opacity of IoT, which is modeled by Moore‐type finite state machine. Firstly, to characterize the intrusion estimator under the event‐state observation, a multi‐linear algebraic expression is proposed through the Boolean semi‐tensor product (STP), and on the basis of the novel representation, the validation criterion is given by some matrix manipulations. Subsequently, considering that the input information may not be measured due to the physical shielding of the system against external intruders, we continue to discuss the opacity with state observation by a permutation structure matrix. Meanwhile, the verification of opacity with event‐state observation is generalized to the one with only state observation. Finally, we offer an example to illustrate the effectiveness of the newly proposed method. Taken together, the current results are helpful to provide a novel theoretical approach for investigating the privacy‐preserving problem in the area of IoT and complex cyber‐physical networks.