Integrating software specifications into intrusion detection.Published in:International Journal of Information Security, 2007, v. 6, n. 5, p. 345, doi. 10.1007/s10207-007-0023-0By:Zulkernine, Mohammad;Graves, Mathews;Khan, MuhammadPublication type:Article