128
click to vote
CSFW
1995
IEEE
15 years 6 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...