The ACM Computing Classification System (1991)

C.2.2 Network Protocols

• Protocol architecture
• Protocol verification