Ira S. Moskowitz, Oliver Costich. A classical Automata Approach to Noninterference Type Problems. In CSFW. pages 2-8, 1992.
@inproceedings{MoskowitzC92, title = {A classical Automata Approach to Noninterference Type Problems}, author = {Ira S. Moskowitz and Oliver Costich}, year = {1992}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/MoskowitzC92}, cites = {0}, citedby = {0}, pages = {2-8}, booktitle = {CSFW}, }