On transformations among opacity notions
The result's identifiers
Result code in 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>
Alternative codes found
RIV/61989592:15310/22:73614733
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
On transformations among opacity notions
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
IEEE International Conference on Systems, Man, and Cybernetics (SMC)
ISBN
978-1-6654-5258-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
3012-3017
Publisher name
IEEE
Place of publication
Danvers
Event location
Prague
Event date
Oct 9, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—