1987
A Model for Multilevel Security Based on Operator Nets.
Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987