Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications

Moez Krichen; Omar Cheikhrouhou; Mariam Lahami; Roobaea Alroobaea; Afef Jmal Maâlej

Smart Societies, Infrastructure, Technologies and Applications. First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings

Research Article

Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications

Download

283 downloads

Cite: BibTeX Plain Text

@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

Moez Krichen^,*, Omar Cheikhrouhou^,*, Mariam Lahami¹^,*, Roobaea Alroobaea²^,*, Afef Jmal Maâlej¹^,*

1: University of Sfax
2: Taif University

*Contact email: moez.krichen@redcad.org, o.cheikhrouhou@tu.edu.sa, mariam.lahami@redcad.org, r.robai@tu.edu.sa, afef.jmal@redcad.org

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.

Keywords: Internet of Things Smart cities Security models Generation Coverage Test Security Verdicts

Published: 2018-07-26
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-94180-6_34