A linear time algorithm for deciding security (1976)

by A K Jones, R J Lipton, L Snyder
Venue:In Proceedings of the 17th Annual Symposium on Foundations of Computer Science