Opacity Enforcement by Edit Functions Under Incomparable Observations

Wei Duan, Ruotian Liu, Maria Pia Fanti +2

As an information-flow privacy property, opacity characterizes whether a malicious external observer (referred to as an intruder) is able to infer the secret behavior of a system.…