4 citations · 5 across the 2 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2021★ 4 cited
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations
Jiří Balun, Tomáš Masopust
Opacity is a property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but has a limited observation of i…
eess.SY2021
Comparing the Notions of Opacity for Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Opacity is an information flow property characterizing whether a system reveals its secret to a passive observer. Several notions of opacity have been introduced in the literature.…