26 citations · 73 across the 15 of their papers we have counts for
1 paper · 1 filter
Xiang Yin, Majid Zamani
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 p…