Abstract: Opacity is an information flow property for dynamic systems describing plausible deniability, that is whether an eavesdropper can deduce that "secret" behavior has occurred. In particular, K ...