Smart City Gnosys
Smart city article details
| Title | A New Model-Based Framework For Testing Security Of Iot Systems In Smart Cities Using Attack Trees And Price Timed Automata |
|---|---|
| ID_Doc | 3100 |
| Authors | Krichen M.; Alroobaea R. |
| Year | 2019 |
| Published | ENASE 2019 - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering |
| DOI | http://dx.doi.org/10.5220/0007830605700577 |
| Abstract | In this paper we propose a new model-based framework for testing security properties of Internet of Things in Smart Cities. In general a model-based approach consists in extracting test cases from a formal specification either of the system under test or the environment of the considered system in an automatic fashion. Our framework is mainly built on the use of two formalisms namely Attack Trees and Price Timed Automata. An attack tree allows to describe the strategy adopted by the malicious party which intends to violate the security of the considered IOT system. An attack tree is translated into a network of price timed automata. The product of the constructed price timed automata is then computed using the well known UPPAALL platform. The obtained timed automata product serves as input for the adopted test generation algorithm. Moreover our framework takes advantage of the use of the standardized specification and execution testing language TTCN-3. With this respect, the obtained abstract tests are translated into the TTCN-3 format. Finally we propose a cloud-oriented architecture in order to ensure test execution and to collect the generated verdicts. Copyright © 2019 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved |
| Author Keywords | Attack Tree; Cloud; Internet of Things; IoT; Model-based; Price Timed Automaton; Security; Smart Cities; Testing; TTCN-3; UPPAALL |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
47987  | 0.931 | Krichen M.; Lahami M.; Cheikhrouhou O.; Alroobaea R.; Maâlej A.J. | Security Testing Of Internet Of Things For Smart City Applications: A Formal Approach | EAI/Springer Innovations in Communication and Computing (2020) |
| 30848 | 0.892 | Krichen M. | Improving Formal Verification And Testing Techniques For Internet Of Things And Smart Cities | Mobile Networks and Applications, 28, 2 (2023) |
| 1726 | 0.867 | Jabbar R.; Krichen M.; Kharbeche M.; Fetais N.; Barkaoui K. | A Formal Model-Based Testing Framework For Validating An Iot Solution For Blockchain-Based Vehicles Communication | ENASE 2020 - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering (2020) |
| 57904 | 0.86 | Krichen M.; Lahami M. | Towards A Runtime Testing Framework For Dynamically Adaptable Internet Of Things Networks In Smart Cities | EAI/Springer Innovations in Communication and Computing (2020) |
| 4502 | 0.851 | Ayub K.; Alshawa R. | A Secure Iot Framework For Smart Cities: Integrating Servicenow Irm/Grc With Blockchain And Ai-Driven Threat Detection | 2024 International Conference on Computer and Applications, ICCA 2024 (2024) |