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.

Abstract

Abstract is missing.