Analyzing Internet Routing Security Using Model Checking

DOI10.1007/978-3-662-48899-7_9zbMath1471.68156OpenAlexW2253212629MaRDI QIDQ3460047

Gabi Nakibly, Orna Grumberg, Adi Sosnovich

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)

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