Adding a network protocol specification