Attack Modelling and Security Evaluation for Security Information and Event Management Topics: Risk Assessment; Security Metrics and Measurement; Security Requirements (Threats, Vulnerabilities, Risk, Formal Methods, Etc.) In Proceedings of the International Conference on Security and Cryptography - Volume 0ICETE, 391-394, 2012 , Rome, Italy