A Declarative Approach for Secure and Robust Routing

Simple item page
dc.contributor.authorKodeswaran, Palanivel Andiappan
dc.contributor.authorJoshi, Anupam
dc.contributor.authorFinin, Tim
dc.contributor.authorPerich, Filip
dc.date.accessioned2018-11-19T20:31:02Z
dc.date.available2018-11-19T20:31:02Z
dc.date.issued2010-10-04
dc.descriptionProceedings of the 3rd ACM Workshop on Assurable & Usable Security Configurationen_US
dc.description.abstractMany Internet failures are caused by misconfigurations of the BGP routers that manage routing of traffic between domains. The problems are usually due to a combination of human errors and the lack of a high-level language for specifying routing policies that can be used to generate router configurations. We describe an implemented approach that uses a declarative language for specifying network-wide routing policies to automatically configure routers and show how it can also be used by software agents to diagnose and correct some networking problems. The language is grounded in an ontology defined in OWL and polices expressed in it are automatically compiled into low-level router configurations. A distributed collection of software agents use the high-level policies and a custom argumentation protocol to share and reason over information about routing failures, diagnose probable causes, and correct them by reconfiguring routers and/or recommending actions to human operators. We have evaluated the framework in both a simulator and on a small physical network. Our results show that the framework performs well in identifying failure causes and automatically correcting them by reconfiguring routers when permitted by the policies.en_US
dc.description.sponsorshipWe thankWenjia Li for developing the front end of the planner. This work was supported in part by DARPA under contractW31P4Q-06-C-0395 and the Air Force Office of Scientific Research under MURI award FA9550-08-1-0265.en_US
dc.description.urihttps://dl.acm.org/citation.cfm?id=1866906en_US
dc.format.extent8 pagesen_US
dc.genreconference papers and proceedings preprintsen_US
dc.identifierdoi:10.13016/M26Q1SM8K
dc.identifier.citationPalanivel Andiappan Kodeswaran, Anupam Joshi, Tim Finin, and Filip Perich, A Declarative Approach for Secure and Robust Routing, Proceedings of the 3rd ACM Workshop on Assurable & Usable Security Configuration , 2010, DOI : 10.1145/1866898.1866906en_US
dc.identifier.uri10.1145/1866898.1866906
dc.identifier.urihttp://hdl.handle.net/11603/12063
dc.language.isoen_USen_US
dc.publisherACMen_US
dc.relation.isAvailableAtThe University of Maryland, Baltimore County (UMBC)
dc.relation.ispartofUMBC Computer Science and Electrical Engineering Department Collection
dc.relation.ispartofUMBC Faculty Collection
dc.rightsThis item is likely protected under Title 17 of the U.S. Copyright Law. Unless on a Creative Commons license, for uses protected by Copyright Law, contact the copyright holder or the author.
dc.subjectPolicyen_US
dc.subjectBGP Configurationen_US
dc.subjectArgumentationen_US
dc.subjectsemantic weben_US
dc.subjectUMBC Ebiquity Research Groupen_US
dc.titleA Declarative Approach for Secure and Robust Routingen_US
dc.typeTexten_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
511.pdf
Size:
277.67 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.56 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

UMBC Computer Science and Electrical Engineering Department
UMBC Faculty Collection