Analyzing Internet Routing Security Using Model Checking

DOI10.1007/978-3-662-48899-7_9MaRDI QIDQ3460047zbMATH OpenOpenAlexFDO

Authors Adi Sosnovich, Orna Grumberg, Gabi Nakibly

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_9

Mathematics Subject Classification ID

Internet topics (68M11) Computer security (68M25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modeling and verifying ad hoc routing protocols
• Model Checking Security Protocols
• scientific article; zbMATH DE number 2100568
• scientific article; zbMATH DE number 2013775
• A program logic for verifying secure routing protocols

Cited in

(8)

• Autonomous security for autonomous systems
• Reduction-based formal analysis of BGP instances
• Computational complexity of traffic hijacking under BGP and S-BGP
• A program logic for verifying secure routing protocols
• AS alliance based security enhancement for inter-domain routing protocol
• Internet commerce security: issues and models for control checking
• Computational complexity of traffic hijacking under BGP and S-BGP
• Multi-layer framework for analysing and managing routing configurations

This page was built for publication: Analyzing Internet Routing Security Using Model Checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460047)