1 paper · 1 filter
Chenyi Zhang
Noninterference provides a control over information flow in a system for ensuring confidentiality and integrity properties. In the literature this notion has been well studied as t…