DMCA

Attack generation for NIDS testing using natural deduction (2004)

by Shai Rubin , Somesh Jha , Barton P. Miller