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. ,
A Smell of Orchids, Runtime Verification, 2008. ,
DOI : 10.1109/CSFW.2001.930148
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. ,
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
Modeling the stuxnet attack with bdmp : Toward more formal risk assessments, CRISIS, 2012. ,
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
Real-Time Intrusion Detection Alert Correlation, 2006. ,
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. ,