The COPS security checker system (1990)

by Daniel Farmer, Eugene H Spafford
Venue:In Proceedings of the Summer Usenix Conference. Usenix Association