SP
2005
IEEE
13 years 10 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...