Allan Heydon, J. D. Tygar. Specifying and Checking UNIX Security Constraints. Computing Systems, 7(1):91-112, 1994.
@article{HeydonT94, title = {Specifying and Checking UNIX Security Constraints}, author = {Allan Heydon and J. D. Tygar}, year = {1994}, tags = {constraints, security}, researchr = {https://researchr.org/publication/HeydonT94}, cites = {0}, citedby = {0}, journal = {Computing Systems}, volume = {7}, number = {1}, pages = {91-112}, }