Carl A. Sunshine

• Computer network architectures and protocols
• Communication protocol modeling
• Formal methods for communication protocol specification and verification
• Survey of communication protocol verification techniques