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

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

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)

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

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)