Intransitive non-interference for cryptographic purpose (2003)

by M Backes, B Pfitzmann
Venue:In Proc. IEEE Symposium on Security and Privacy