A Specification-Based Intrusion Detection Model for Wireless Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore