Non-interference

[Google Scholar] [Wikipedia]

Notes: information flow, hyperproperty
Papers: goguen:secpriv:1982, goguen:secpriv:1984, rushby:sri:1992, bowman:icfp:2015, costanzo:pldi:2016, ferraiuolo:sosp:2017, nelson:sosp:2019, tiwari:isca:2009

todo:


Hyperproperty