William R. Bevier, William D. Young. A State-Machine Approach to Non-Interference. Journal of Computer Security, 3(1):55-70, 1995.
@article{BevierY95, title = {A State-Machine Approach to Non-Interference}, author = {William R. Bevier and William D. Young}, year = {1995}, tags = {state machines, systematic-approach}, researchr = {https://researchr.org/publication/BevierY95}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {3}, number = {1}, pages = {55-70}, }