Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design

C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis +1

Incorrect implementations of network protocol message specifications affect the stability, security, and cost of network system development. Most implementation defects fall into o…