Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders. Ferret: A Host Vulnerability Checking Tool. In 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti. pages 389-394, IEEE Computer Society, 2004. [doi]
Abstract is missing.