Toward Automatic Generation of Intrusion Detection Verification Rules | IEEE Conference Publication | IEEE Xplore