Verification

1
Verification

• How do you make verification as a fundamental
  property of network protocols?
• Verification provides
• detecting misbehaving entities(violate protocol
  behavior)
• Enabling powerful services, scalability and
  robustness at the same time
• Trust Management in untrusted networks
• Protection from various DoS attacks
• Examples
• Diff-Serv packet marking
• BGP Routing
• TCP friendly behavior
• ECN Packet marking(UW David Wetherall)

2
My Plans

• Specific cases of Verification
• BGP Routing
• TCP friendly behavior
• QoS over Overlay
• Parameter Verification
• In an untrusted network, how do you verify the
  correctness of the parameters specified in a
  packet
• Extend proof-carrying codes using Dynamic Packet
  State to network protocols
• Semantic Behavioral verification
• Key Questions
• Protection vs Detection
• Amount of State vs Success in verification
• Aggregate behavior vs Individual behavior