Research Article
Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications
355 downloads
@INPROCEEDINGS{10.1007/978-3-319-94180-6_34, author={Moez Krichen and Omar Cheikhrouhou and Mariam Lahami and Roobaea Alroobaea and Afef Jmal Ma\~{a}lej}, title={Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications}, proceedings={Smart Societies, Infrastructure, Technologies and Applications. First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27--29, 2017, Proceedings}, proceedings_a={SCITA}, year={2018}, month={7}, keywords={Internet of Things Smart cities Security models Generation Coverage Test Security Verdicts}, doi={10.1007/978-3-319-94180-6_34} }- Moez Krichen
Omar Cheikhrouhou
Mariam Lahami
Roobaea Alroobaea
Afef Jmal Maâlej
Year: 2018
Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications
SCITA
Springer
DOI: 10.1007/978-3-319-94180-6_34
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.
Copyright © 2017–2024 EAI
