OPACITY ENFORCEMENT METHOD FOR SMART HOME TEMPERATURE CONTROL SYSTEMS BASED ON LABELED TIME PETRI NETS

Abstract

The present disclosure belongs to the field of information security, and proposes an opacity enforcement method for a smart home temperature control system based on a labeled time Petri net. First, a labeled time Petri net model of the system is established. A partial modified state class graph and a path constraint model are constructed under timed observations to identify a path set time-inconsistent with the observations. On this basis, paths satisfying current-state opacity are screened, and a linear programming model is constructed to solve a minimal timed perturbation function. The original observations are corrected to generate a new opaque observation sequence. By introducing a timed perturbation mechanism, this method prevents an attacker from inferring a true state of the system based on the observations, thereby enhancing current-state opacity.

Images