Absorbing covers and intransitive non-interference (1995)

by Sylvan Pinsky
Venue:In Proc. IEEE Symposium on Security and Privacy