Formal Approach for Route Agility against Persistent Attackers.

Jafar Haadi Jafarian Ehab Al-Shaer Qi Duan

Published in: ESORICS (2013)

Keyphrases

supply chain
business process
software systems
real time
formal representation
data sets
genetic algorithm
shortest path
formal model
travel time
formal methods
malicious attacks
database
mobile robot
road network