Attack generation for NIDS testing using natural deduction (2004)

by Shai Rubin , Somesh Jha , Barton P. Miller
Citations:2 - 0 self