Modeling Packet Format Validation in Network Systems Using Automata

Introduction