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

Full Text:

PDF SIGN IN to get this Article

Authors:	Yiqing Ren	University of Pennsylvania, Philadelphia, PA, USA
	Wenchao Zhou	University of Pennsylvania, Philadelphia, PA, USA
	Anduo Wang	University of Pennsylvania, Philadelphia, PA, USA
	Limin Jia	Carnegie Mellon University, Pittsburgh, PA, USA
	Alexander J.T. Gurney	University of Pennsylvania, Philadelphia, PA, USA
	Boon Thau Loo	University of Pennsylvania, Philadelphia, PA, USA
	Jennifer Rexford	Princeton University, Princeton, NJ, USA

	2011 Article Demonstration
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 35 · Downloads (cumulative): 104 · Citation Count: 3

Published in:

	· Proceeding
	SIGCOMM '11 Proceedings of the ACM SIGCOMM 2011 conference
	Pages 440-441 ACM New York, NY, USA ©2011 table of contents ISBN: 978-1-4503-0797-0 doi>10.1145/2018436.2018510
	· Newsletter
	ACM SIGCOMM Computer Communication Review - SIGCOMM '11
	Volume 41 Issue 4, August 2011 Pages 440-441 ACM New York, NY, USA table of contents doi>10.1145/2043164.2018510

Tools and Resources