Layal Samarji, Frédéric Cuppens, Nora Cuppens-Boulahia, Wael Kanoun, Samuel Dubus. Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks. In Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan, editors, Cyberspace Safety and Security - 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings. Volume 8300 of Lecture Notes in Computer Science, pages 132-150, Springer, 2013. [doi]
Abstract is missing.