• It Takes a Village: Bridging t...

Treffer: It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

Title:
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
Authors:
Basin, David1 (AUTHOR) basin@inf.ethz.ch, Foster, Nate2 (AUTHOR) jnfoster@cs.cornell.edu, McMillan, Kenneth L.3 (AUTHOR) kenmcm@cs.utexas.edu, Namjoshi, Kedar S.4 (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Nita-Rotaru, Cristina5 (AUTHOR) c.nitarotaru@northeastern.edu, Smith, Jonathan M.6 (AUTHOR) jms@seas.upenn.edu, Zave, Pamela7 (AUTHOR) pamela@pamelazave.com, Zuck, Lenore D.8 (AUTHOR) zuck@uic.edu
Source:
Communications of the ACM. Aug2025, Vol. 68 Issue 8, p50-61. 12p.
Subject Terms:
*COMPUTER network protocols, *INTERNET protocols, *TECHNICAL specifications, FORMAL methods (Computer science)
Company/Entity:
IEEE Standards Board , INTERNET Engineering Task Force (Organization)
Database:
Business Source Premier

Weitere Informationen

This article focuses on the current lack of use of formal methods (FM) for network protocols and what can be done to overcome challenges and implement FM for networking communities. Specification in networking communities is a focus as well as examples of successful FM use in real-world protocols, including transport layer security and Quick UPD Internet Connection. Lastly, the authors present solutions to this gap which include integration of FM in computer science education and integration of design and verification.