The COPS Security Checker System. - Daniel Farmer; Eugene H. Spafford (USENIX Summer, 1990)

TITAN. - Daniel Farmer; Brad Powell; Matthew Archibald (LISA, 1998)