Jafar Haadi Jafarian, Ehab Al-Shaer, Qi Duan. Formal Approach for Route Agility against Persistent Attackers. In Jason Crampton, Sushil Jajodia, Keith Mayes, editors, Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings. Volume 8134 of Lecture Notes in Computer Science, pages 237-254, Springer, 2013. [doi]
Abstract is missing.