A high-level domain-specific language for SIEM (design, development and formal verification)
Common Framework for Attack Modeling and Security Evaluation in SIEM Systems