Deep packet inspection with DFA-trees and parametrized language overapproximation | IEEE Conference Publication | IEEE Xplore