Modeling networking protocols to test intrusion detection systems | IEEE Conference Publication | IEEE Xplore