Can I read Security Quantification for Discrete Event Systems Based on the Worth of States on EtoBox?

Security Quantification for Discrete Event Systems Based on the Worth of States by Sian Zhou; Jiaxin Yu; Li Yin; Zhiwu Li is a Mathematics article available to read on EtoBox.

What is Security Quantification for Discrete Event Systems Based on the Worth of States about?

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-cyc

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

Author

Sian Zhou; Jiaxin Yu; Li Yin; Zhiwu Li

Publisher

MDPI AG

Published

2023

Language

EN

Field

Mathematics (Physical Sciences)