Abstract: Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the presence of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results