SECFND: Monitoring Network Protocols