Model-Based Attack Tolerance
Title | Model-Based Attack Tolerance |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Ouffoué, G., Zaidi, F., Cavalli, A. R., Lallali, M. |
Conference Name | 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) |
Date Published | March 2017 |
Publisher | IEEE |
ISBN Number | 978-1-5090-6231-7 |
Keywords | Adaptation models, authentication, authentication Web application, composability, formal method, formal verification, generic approach, Internet, intrusion tolerance, message authentication, model-based attack tolerance, model-based testing, Monitoring, monitoring method, pubcrawl, Resiliency, Robustness, software-based systems, Tools |
Abstract | Software-based systems are nowadays complex and highly distributed. In contrast, existing intrusion detection mechanisms are not always suitable for protecting these systems against new and sophisticated attacks that increasingly appear. In this paper, we present a new generic approach that combines monitoring and formal methods in order to ensure attack-tolerance at a high level of abstraction. Our experiments on an authentication Web application show that this method is effective and realistic to tolerate a variety of attacks. |
URL | https://ieeexplore.ieee.org/document/7929656 |
DOI | 10.1109/WAINA.2017.88 |
Citation Key | ouffoue_model-based_2017 |
- message authentication
- tools
- software-based systems
- Robustness
- Resiliency
- pubcrawl
- monitoring method
- Monitoring
- model-based testing
- model-based attack tolerance
- Adaptation models
- intrusion tolerance
- internet
- generic approach
- formal verification
- formal method
- composability
- authentication Web application
- authentication