Abstract: The qualitative opacity of a secret is a security property, which means that a system trajectory satisfying the secret is observation-equivalent to a trajectory violating the secret. In this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results