Detecting past and present intrusions through vulnerability-specific predicates. - Ashlesha Joshi; Samuel T. King; George W. Dunlap; Peter M. Chen (SOSP, 2005)