109
click to vote
SP
1990
IEEE
15 years 6 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...