A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Burgy Laurent, Laurent Réveillère, Julia Lawall +1

The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, han…