Hyperproperty

[Google Scholar]

Notes: non-interference

todo:


Non-interference