Login / Signup

FSR: formal analysis and implementation toolkit for safe inter-domain routing.

Yiqing RenWenchao ZhouAnduo WangLimin JiaAlexander J. T. GurneyBoon Thau LooJennifer Rexford
Published in: SIGCOMM (2011)
Keyphrases
  • inter domain
  • formal analysis
  • autonomous systems
  • mobile ip
  • formal methods
  • traffic engineering
  • qos aware
  • routing table
  • shortest path
  • agent model