|
A high-level domain-specific language for SIEM (design, development and formal verification) |
|
|
|
Titel: |
A high-level domain-specific language for SIEM (design, development and formal verification) |
Auteur: |
Nazir, Anam Alam, Masoom Malik, Saif U. R. Akhunzada, Adnan Cheema, Muhammad Nadeem Khan, Muhammad Khurram Ziang, Yang Khan, Tanveer Khan, Abid |
Verschenen in: |
Cluster computing |
Paginering: |
Jaargang 20 (2017) nr. 3 pagina's 2423-2437 |
Jaar: |
2017 |
Inhoud: |
|
Uitgever: |
Springer US, New York |
Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
|
|
|
|