Smart City Gnosys
Smart city article details
| Title | Security Testing Of Internet Of Things For Smart City Applications: A Formal Approach |
|---|---|
| ID_Doc | 47987 |
| Authors | Krichen M.; Lahami M.; Cheikhrouhou O.; Alroobaea R.; Maâlej A.J. |
| Year | 2020 |
| Published | EAI/Springer Innovations in Communication and Computing |
| DOI | http://dx.doi.org/10.1007/978-3-030-13705-2_26 |
| Abstract | This is a work in progress in which we are interested in testing security aspects of Internet of Things for smart cities. For this purpose we follow a model-based approach which consists in: modeling the system under investigation with an appropriate formalism; deriving test suites from the obtained model; applying some coverage criteria to select suitable tests; executing the obtained tests; and finally collecting verdicts and analyzing them in order to detect errors and repair them. The adopted formalism is based on the model of extended timed automata with inputs and outputs. We propose a conformance testing relation, the so-called extended timed input–output conformance relation—etioco. For test execution, we introduce a cloud-based architecture. © 2020, Springer Nature Switzerland AG. |
| Author Keywords | Cloud; Coverage; Generation; Internet of Things; Security; Security models; Smart cities; Test; Timed automata; Verdicts |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
3100  | 0.931 | Krichen M.; Alroobaea R. | A New Model-Based Framework For Testing Security Of Iot Systems In Smart Cities Using Attack Trees And Price Timed Automata | ENASE 2019 - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (2019) |
| 30848 | 0.919 | Krichen M. | Improving Formal Verification And Testing Techniques For Internet Of Things And Smart Cities | Mobile Networks and Applications, 28, 2 (2023) |
| 57904 | 0.871 | 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) |
| 14363 | 0.857 | Yoo J.; Hwang J.; Lee J.; Yoo S.; Song J. | Clocis: Cloud-Based Conformance Testing Framework For Iot Devices In The Future Internet | Electronics (Switzerland), 12, 24 (2023) |
| 1726 | 0.857 | 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) |