1 paper
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.…