A classical automata approach to noninterference type problems | IEEE Conference Publication | IEEE Xplore