Specification-based anomaly detection: a new approach for detecting network intrusions. - R. Sekar 001; Ajay Gupta 002; J. Frullo; T. Shanbhag; A. Tiwari; H. Yang; S. Zhou (CCS, 2002)