A high-level domain-specific language for SIEM (design, development and formal verification)
Crossref DOI link: https://doi.org/10.1007/s10586-017-0819-2
Published Online: 2017-03-27
Published Print: 2017-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nazir, Anam
Alam, Masoom
Malik, Saif U. R.
Akhunzada, Adnan
Cheema, Muhammad Nadeem
Khan, Muhammad Khurram
Ziang, Yang
Khan, Tanveer
Khan, Abid
Funding for this research was provided by:
National ICT Rnd Fund (CDACDEA)
License valid from 2017-03-27