Login / Signup

FSR: formal analysis and implementation toolkit for safe interdomain routing.

Anduo WangLimin JiaWenchao ZhouYiqing RenBoon Thau LooJennifer RexfordVivek NigamAndre ScedrovCarolyn L. Talcott
Published in: IEEE/ACM Trans. Netw. (2012)
Keyphrases
  • formal analysis
  • efficient implementation
  • ban logic
  • routing protocol
  • network topology
  • agent model
  • web services
  • low cost
  • knowledge acquisition
  • shortest path