Bridging the gap: software specification meets intrusion detector.

Mathew Graves, Mohammad Zulkernine

Browse the full PST paper archive.