Building Formal Model of the Internet Routing for Risk Evaluation of Cyberattacks on Global Routing.

Published in: ITS (2019)

Keyphrases

formal model
risk evaluation
routing algorithm
routing protocol
shortest path
ad hoc networks
network infrastructure
security properties
security patterns
case study