Visible to the public Model-Based Attack Tolerance

TitleModel-Based Attack Tolerance
Publication TypeConference Paper
Year of Publication2017
AuthorsOuffoué, G., Zaidi, F., Cavalli, A. R., Lallali, M.
Conference Name2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA)
Date PublishedMarch 2017
PublisherIEEE
ISBN Number978-1-5090-6231-7
KeywordsAdaptation 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.

URLhttps://ieeexplore.ieee.org/document/7929656
DOI10.1109/WAINA.2017.88
Citation Keyouffoue_model-based_2017