Concealability Analysis for Current-State Opacity Enforcement via Editing Functions

This article focuses on the problem of enforcing current-state opacity of a discrete event system via editing functions. In more detail, the observation exposed to an intruder is modified, either erasing or inserting some observations, so as to guarantee that the intruder is not able to discover the...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on automatic control 2024-10, Vol.69 (10), p.7231-7238
Main Authors: Peng, Kun, Chen, Yufeng, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro
Format: Article
Language:English
Subjects:
Algorithms
Automata
Current-state opacity enforcement
discrete event system (DES)
Discrete event systems
Editing
Intrusion
Observers
Opacity
state observer
state-based opacity
Supervisory control
Symbols
Systems engineering and theory
Time complexity
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This article focuses on the problem of enforcing current-state opacity of a discrete event system via editing functions. In more detail, the observation exposed to an intruder is modified, either erasing or inserting some observations, so as to guarantee that the intruder is not able to discover the predefined secret. The notion of concealability, which formalizes the possibility of maintaining the secret hidden, is introduced starting from defining some illegal states on a particular structure called joint observer. An algorithm for the analysis of concealability is proposed. Finally, an online procedure to make the system opaque is proposed by selecting an editing function.
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2024.3400848