Network Protocol System Fingerprinting - A Formal Approach | IEEE Conference Publication | IEEE Xplore