Specification-based Intrusion Detection System for Carrier Ethernet. - Pan Jieke; João Redol; Miguel Correia 001 (WEBIST (1), 2007)