Abstract
Neural networks (NNs) have been extensively adapted to various security tasks, such as spam detection, phishing, and intrusion detection. Particularly in IDS, NNs face significant vulnerabilities to adversarial attacks, where the adversary attempts to exploit the fragilities within machine-learning (ML) models. This study introduces a novel approach using interval-bound propagation (IBP) to formally verify and enhance the resilience of both shallow and deep NNs. We also investigated the effectiveness of various activation functions using benchmark IDS datasets. Our findings show that ReLu and Leaky-ReLu functions enhance resistance in shallow networks, whereas Tanh functions perform better in deep networks. We provide certified accuracies for models subjected to various input perturbations ranging from 0.0001 to 0.9, marking a significant advancement in verifying the security of NNs.
Original language | English |
---|---|
Title of host publication | 2024 IEEE International Conference on Cyber Security and Resilience (CSR) |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 9-15 |
Number of pages | 6 |
ISBN (Electronic) | 9798350375367 |
ISBN (Print) | 9798350375374 |
DOIs | |
Publication status | Published - 24 Sept 2024 |
Event | 2024 IEEE International Conference on Cyber Security and Resilience - Hilton London Tower Bridge, London, United Kingdom Duration: 2 Sept 2024 → 4 Sept 2024 https://www.ieee-csr.org |
Conference
Conference | 2024 IEEE International Conference on Cyber Security and Resilience |
---|---|
Abbreviated title | 2024 IEEE CSR |
Country/Territory | United Kingdom |
City | London |
Period | 2/09/24 → 4/09/24 |
Internet address |
Keywords
- Cybersecurity
- Neural Network Security
- Adversarial Robustness
- Intrusion Detection System
- Formal Verification
- Robustness
- Deep Learning