It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
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, i...
| Publicado en: | Communications of the ACM Vol. 68; no. 8; pp. 50 - 62 |
|---|---|
| Autores principales: | , , , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Aug2025
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=186913162&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 186913162 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Aug2025 vid: 68 iid: 8 pid: 68 pub: Association for Computing Machinery artinfo: ui: 186913162 10.1145/3706572 ppf: 50 ppct: 12 formats: tig: atl: It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. aug: au: Basin, David Foster, Nate McMillan, Kenneth L. Namjoshi, Kedar S. Nita-Rotaru, Cristina Smith, Jonathan M. Zave, Pamela Zuck, Lenore D. affil: ETH Zurich, Dept. Computer Science, Zurich, Zurich, Switzerland Cornell University, Computer Science, Ithaca, New York, United States The University of Texas at Austin, Computer Science, Austin, Texas, United States Nokia Bell Labs, Murray Hill, New Jersey, United States Northeastern University - Boston Campus, Computer Science, Boston, Massachusetts, United States University of Pennsylvania, Computer Science, Philadelphia, Pennsylvania, United States Princeton University, Computer Science, Princeton, New Jersey, United States University of Illinois Chicago, Computer Science, Chicago, Illinois, United States su: Formal methods (Computer science) Computer network protocols Internet protocols IEEE Standards Board Internet Engineering Task Force (Organization) Technical specifications sug: subj: Formal methods (Computer science) Computer network protocols Internet protocols IEEE Standards Board Internet Engineering Task Force (Organization) Technical specifications keyword: formal methods network protocols specifications ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|