The invention belongs to the technical field of
information security, and relates to a smart home
temperature control system opacity strengthening method based on a tag time Petri network. Establishing a
label time Petri
network model of the intelligent household
temperature control system; constructing a partial correction state
class diagram based on
time sequence observation of which the current state is not transparent, forming a path constraint model consistent with observation logic, and identifying a path set inconsistent with
observation time; screening a path which meets the opaqueness of the current state relative to the secret identifier set in the path set, and constructing a
linear programming model to solve a
minimum time sequence disturbance function value; and updating the original
time sequence observation by using the perturbation function, and generating a new observation sequence meeting the opaqueness of the current state. According to the method, an attacker is effectively prevented from deducing the real state of the
system through a
time sequence, meanwhile, exhaustive search on a full-
state space is avoided, the calculation complexity is reduced, and the applicability and expandability of the method in a complex
discrete event system are improved.