A Test-driven Action Verification Method for Intrusion Response Systems | IEEE Conference Publication | IEEE Xplore