Anam Nazir, Masoom Alam, Saif Ur Rehman Malik, Adnan Akhunzada, Muhammad Nadeem Cheema, Muhammad Khurram Khan, Yang Ziang, Tanveer Khan, Abid Khan. A high-level domain-specific language for SIEM (design, development and formal verification). Cluster Computing, 20(3):2423-2437, 2017. [doi]
Abstract is missing.