Online Verification and Enforcement of Sequential <italic>K</italic>-Opacity in Extended Probabilistic Automata
In the context of extended probabilistic automata, this study focuses on an information flow property, called opacity, of discrete event systems. The achievement of this research is the formulation and in-depth analysis of what is termed sequential k-opacity. This metric, through its detailed assess...
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
IEEE
2024-01-01
|
| سلاسل: | IEEE Access |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://ieeexplore.ieee.org/document/10555226/ |