A high-level domain-specific language for SIEM (design, development and formal verification).

Anam Nazir Masoom Alam Saif Ur Rehman Malik Adnan Akhunzada Muhammad Nadeem Cheema Muhammad Khurram Khan Yang Ziang Tanveer Khan Abid Khan

Published in: Clust. Comput. (2017)