Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks

摘要：

　　Recent attacks are better coordinated, difficult to discover, and inflict severe damages to networks.However, existing response sys tems handle the case of a single ongoing attack.This limitation is due to the lack of an appropriate model that describes coordinated attacks.In this paper, we address this limitation by presenting a new formal de scription of individual, coordinated, and concurrent attacks.Afterwards, we combine Graph Theory and our attack description in order to model attack graphs that cover the three attacks types.Finally, we show how to automatically generate these attack graphs using a logical approach based on Situation Calculus.

作者: Layal Samarji Frédéric Cuppens Nora Cuppens-Boulahia Wael Kanoun Samuel Dubus

作者单位: Bell Labs,Alcatel-Lucent;Té1écom Bretagne Té1écom Bretagne Bell Labs,Alcatel-Lucent

会议类型: 国际会议

会议名称: The 5th International Symposium on Cyberspace Safety and Security ( CSS2013)(第五届国际网络空间安全和安保研讨会)

会议地点: 张家界

会议语种:英文

页码: 132-150

在线出版日期: 2013-11-13（万方平台首次上网日期，不代表论文的发表时间）