ABSTRACT. Opacity is an important information-flow security property in the analysis of cyber-physical systems. In this abstract, we extend the. Login to Download