A classical Automata Approach to Noninterference Type Problems

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},
}