Ferret: A Host Vulnerability Checking Tool. - Anil Sharma; Jason R. Martin; Nitin Anand; Michel Cukier; William H. Sanders (PRDC, 2004)