Verification and Enforcement of Strong State|Based Opacity ...

Verification and Enforcement of Strong State-Based Opacity for ...

In this paper, we investigate the verification and enforcement of strong state-based opacity (SBO) in discrete-event systems modeled as partially-observed ( ...

Verification and Enforcement of Strong State-Based Opacity ... - arXiv

We propose a novel opacity-enforcement mechanism, which chooses transitions labeled by controllable events to disable before an original system ...

Verification and enforcement of strong infinite- and k-step opacity ...

... based on k -delay state estimators are developed to verify them. The complexity of verifying weak infinite- and k -step opacity using delay state estimators is ...

Verification and enforcement of current-state opacity based on a ...

Request PDF | On Feb 1, 2023, Zhou Yingrui and others published Verification and enforcement of current-state opacity based on a state space approach | Find ...

Language-based Opacity Verification and Enforcement in the ...

In a similar way, the work in studied current-state opacity in Petri nets using a modified basis reachability graph. As mentioned above, in this ...

A symbolic approach to the verification and enforcement of current ...

Usually, a reachability graph has to be generated for the verification of state-based opacity of Petri nets. The generation of a reachability ...

Verification and enforcement of strong infinite- and k-step opacity ...

References. [1]. Barcelos R.J., Basilio J.C., Enforcing current-state opacity through shuffle in event observations, IFAC- ...

Verification of Current-State Opacity in Discrete Event Systems by ...

Verification of state-based opacity using Petri nets. ... Verification and enforcement of strong infinite-step and k-step opacity using state ...

Verification and enforcement of strong infinite- and k -step opacity ...

Request PDF | Verification and enforcement of strong infinite- and k -step opacity using state recognizers | In this paper, we study the verification and ...

Strong Current-State Opacity Verification of Discrete-Event Systems ...

Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets.

Verification and synthesis of embedded insertion functions for ...

Verification and synthesis of embedded insertion functions for opacity enforcement ... Now, we investigate the more powerful method of insertion decisions based ...

Verification and Enforcement of State-Based Notions of Opacity in ...

Semantic Scholar extracted view of "Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems" by A. Saboori.

Current-state opacity verification in discrete event systems using an ...

... state-based opacity verification in DESs. In, the authors ... opacity on the basis of languages, namely strong opacity and weak opacity.

and k-step opacity using state recognizers - Xiang Yin

In this paper, we study the verification and enforcement problems of strong infinite-step opacity and k-step opacity for partially observed discrete-event ...

Verification and enforcement of strong infinite- and k-step opacity ...

Strong infinite-step opacity is a property such that the visit of a secret state cannot be inferred by an intruder at any instance along the entire observation ...

Strong current-state and initial-state opacity of discrete-event systems

In discrete-event systems, based on a standard setting in which an intruder has the complete knowledge of the system's structure, the standard ...

Strong current-state and initial-state opacity of discrete-event systems

Ma, Verification and enforcement of strong ... Tong, Verification of state-based opacity using ... based services: An approach based on opacity enforcement, с.

Strong current-state and initial-state opacity of discrete-event ...

In discrete-event systems, based on a standard ... Strong current-state and initial-state opacity ... Verification and enforcement of strong infinite- and k -step ...

On Verification of Weak and Strong k-step Opacity for Discrete-Event ...

Ma, Verification and enforcement of strong infinite- and k-step opacity using state recognizers, Automatica, № 133 ... Wintenberg, A general language-based ...

Enforcement and Validation (at runtime) of Various Notions of Opacity

Synthesis of R-Verifiers for K-strong opacity is similarly based on the trajectories of K-delay estimators. As one expects, in a state of an estimator, the ...