Formal methods to improve the identification and validation of network traffic | IEEE Conference Publication | IEEE Xplore