Bridging the gap: software specification meets intrusion detector. - Mathew Graves; Mohammad Zulkernine (PST, 2006)

Integrating software specifications into intrusion detection. - Mohammad Zulkernine; Mathew Graves; Muhammad Umair Ahmed Khan (Int. J. Inf. Sec., 2007)