Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks

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]

Authors

Layal Samarji

This author has not been identified. Look up 'Layal Samarji' in Google

Frédéric Cuppens

This author has not been identified. Look up 'Frédéric Cuppens' in Google

Nora Cuppens-Boulahia

This author has not been identified. Look up 'Nora Cuppens-Boulahia' in Google

Wael Kanoun

This author has not been identified. Look up 'Wael Kanoun' in Google

Samuel Dubus

This author has not been identified. Look up 'Samuel Dubus' in Google