Towards a mathematical foundation for information flow security (1991)

by James W Gray
Venue:In Proc. IEEE Symposium on Security and Privacy