Published January 29, 2024 | Version v1
Preprint Open

K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control

  • 1. Polytechnic of Bari
  • 2. ROR icon Xi'an University
  • 3. Xidian University
  • 4. ROR icon Polytechnic University of Bari

Description

This work addresses the security problem of protecting secrets in the framework of discrete event systems that are modeled by deterministic finite automata. We characterize a global secret that composes of one or multiple states, in which each state is assigned to a security level. A state is said to be protected if any event sequence from the initial state for reaching it contains the amount of protected events equal to or greater than the required security level. In addition, we assume that the protected event labels must be recovered within a bounded of consecutive protected events (called as K -protection). Our objective is to design a K -protection event policy such that the protected secret state pieces satisfy a predefined protection threshold. To this end, we first construct a security automaton that integrates the system state information and its current security level, and a K -protection automaton that lists all the possible protections of event sequences. Then by using the supervisor control theory technique, the valid protecting policy to enforce the security requirement is obtained. Finally, examples are used to illustrate the proposed protection method.

Files

root.pdf

Files (366.5 kB)

Name Size Download all
md5:4a885501be26c4b2d79e74002201a6c7
366.5 kB Preview Download

Additional details

Funding

European Commission
eCharge4Drivers – Electric Vehicle Charging Infrastructure for improved User Experience 875131