R. Cuppens and R. Ortalo, LAMBDA : A Language to Model a Database for Detection of Attacks Workshop on the Recent Advances in Intrusion Detection Yener. Modeling and detection of complex attacks, Proceedings of the Third Int Proceedings of the 3rd Int. Conf. on Security and Privacy in Communications Networks, pp.197-216, 1907.

J. [. Goubault-larrecq and . Olivain, A Smell of Orchids, Runtime Verification, 2008.
DOI : 10.1109/CSFW.2001.930148

Y. [. Gonzalez-granadillo, N. Mustapha, H. Hachem, and . Debar, An ontology-based model for siem environments System level security modeling using attack trees, ICGS3 '11 : 7th Int. Conf. in Global Security, Safety and Sustainability Proceedings of the 2nd Int. Conf. on Computer, Control and Communication (IC4), pp.148-155, 2009.

L. [. Morin, H. Mé, M. Debar, and . Duccassé, A logic-based model to support alert correlation in intrusion detection, Information Fusion, vol.10, issue.4, pp.285-299, 2009.
DOI : 10.1016/j.inffus.2009.01.005

URL : https://hal.archives-ouvertes.fr/hal-00353059

S. [. Pietre-cambacédès, M. Kriaa, and . Buissou, Modeling the stuxnet attack with bdmp : Toward more formal risk assessments, CRISIS, 2012.

E. Totel, B. Vivinis, and L. Mé, A Language Driven Intrusion Detection System for Event and Alert Correlation, Proceedings ot the 19th IFIP Int. Information Security Conference, pp.209-224, 2004.
DOI : 10.1007/1-4020-8143-X_14

]. F. Val06 and . Valeur, Real-Time Intrusion Detection Alert Correlation, 2006.

L. Wen-ping and L. Wei-min, Space based information system security risk evaluation based on improved attack trees, Third Int. Conf. on Multimedia Information Networking and Security (MINES), pp.480-483, 2011.