Hyperproperty

[Google Scholar]

Notes: non-interference

todo:

Non-interference, Non leakage