14 May 2024
Security issues of cyber-physical systems have drawn much attention in recent years. A system usually contains some secrets that are not expected to be exposed or hacked by unauthorized external intruders. In this 4-hour lectures, we introduce to students a general framework to secret protection in discrete-event systems. Our aim is to design an event-protecting policy such that any user, either legal or unauthorized, who visits a secret state must successfully executes/hacks a number of protected events to have an authorization satisfying the safety requirement. Two criteria of optimality (disruptiveness and cost) of designing protecting policies will be considered.