On transformations among opacity notions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F22%3A00564901" target="_blank" >RIV/67985840:_____/22:00564901 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989592:15310/22:73614733

Výsledek na webu

<a href="http://dx.doi.org/10.1109/SMC53654.2022.9945608" target="_blank" >http://dx.doi.org/10.1109/SMC53654.2022.9945608</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/SMC53654.2022.9945608" target="_blank" >10.1109/SMC53654.2022.9945608</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On transformations among opacity notions

Popis výsledku v původním jazyce

Opacity is a property asking whether a system may reveal its secret to a passive observer who knows the structure of the system but has only limited observations of its behavior. Several notions of opacity have been studied. Similarities among the opacity notions have been investigated via transformations, which have many potential applications. We investigate K-step opacity (K-SO), a notion that generalizes both current-state opacity and infinite-step opacity, and asks whether the intruder cannot decide, at any instant, whether or when the system was in a secret state during the last K observable steps. We provide new polynomial-time transformations among K-SO and other opacity notions. Our results lead, among others, to the general solution of an open problem concerning the computational complexity of the verification of K-SO.

Název v anglickém jazyce

On transformations among opacity notions

Popis výsledku anglicky

Opacity is a property asking whether a system may reveal its secret to a passive observer who knows the structure of the system but has only limited observations of its behavior. Several notions of opacity have been studied. Similarities among the opacity notions have been investigated via transformations, which have many potential applications. We investigate K-step opacity (K-SO), a notion that generalizes both current-state opacity and infinite-step opacity, and asks whether the intruder cannot decide, at any instant, whether or when the system was in a secret state during the last K observable steps. We provide new polynomial-time transformations among K-SO and other opacity notions. Our results lead, among others, to the general solution of an open problem concerning the computational complexity of the verification of K-SO.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

IEEE International Conference on Systems, Man, and Cybernetics (SMC)

ISBN

978-1-6654-5258-8

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

3012-3017

Název nakladatele

IEEE

Místo vydání

Danvers

Místo konání akce

Prague

Datum konání akce

9. 10. 2022

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—