Towards a mathematical foundation for information flow security (1991)

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