Sign in

Formal Approach for Route Agility against Persistent Attackers.

Jafar Haadi JafarianEhab Al-ShaerQi 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