Back to Search Start Over

Security Quantification for Discrete Event Systems Based on the Worth of States

Authors :
Sian Zhou
Jiaxin Yu
Li Yin
Zhiwu Li
Source :
Mathematics, Vol 11, Iss 17, p 3629 (2023)
Publication Year :
2023
Publisher :
MDPI AG, 2023.

Abstract

This work addresses the problem of quantifying opacity for discrete event systems. We consider a passive intruder who knows the overall structure of a system but has limited observational capabilities and tries to infer the secret of this system based on the captured information flow. Researchers have developed various approaches to quantify opacity to compensate for the lack of precision of qualitative opacity in describing the degree of security of a system. Most existing works on quantifying opacity study specified probabilistic problems in the framework of probabilistic systems, where the behaviors or states of a system are classified as secret or non-secret. In this work, we quantify opacity by a state-worth function, which associates each state of a system with the worth it carries. To this end, we present a novel category of opacity, called worthy opacity, characterizing whether the worth of information exposed to the outside world during the system’s evolution is below a threshold. We first provide an online approach for verifying worthy opacity using the notion of a run matrix proposed in this research. Then, we investigate a class of systems satisfying the so-called 1-cycle returned property and present a worthy opacity verification algorithm for this class. Finally, an example in the context of smart buildings is provided.

Details

Language :
English
ISSN :
11173629 and 22277390
Volume :
11
Issue :
17
Database :
Directory of Open Access Journals
Journal :
Mathematics
Publication Type :
Academic Journal
Accession number :
edsdoj.9295a96901794e659bd713668879b335
Document Type :
article
Full Text :
https://doi.org/10.3390/math11173629