Security Testing of Internet of Things for Smart City Applications: A Formal Approach

Book chapter

Moez Krichen, Mariam Lahami, Omar Cheikhrouhou, Roobaea Alroobaea and Afef Jmal Maalej

EAI/Springer Innovations in Communication and Computing, pp.629-653

EAI-Springer Innovations in Communication and Computing, Springer Nature

01/01/2020

Abstract

Computer Science

Computer Science, Information Systems

Computer Science, Interdisciplinary Applications

Computer Science, Theory & Methods

Engineering

Engineering, Electrical & Electronic

Green & Sustainable Science & Technology

Science & Technology

Science & Technology - Other Topics

Technology

Telecommunications

1 Record Views

Title: Security Testing of Internet of Things for Smart City Applications: A Formal Approach
Creators - without role: Moez Krichen - Al Baha University
Mariam Lahami - University of Sfax
Omar Cheikhrouhou - Taif University
Roobaea Alroobaea - Taif University
Afef Jmal Maalej - University of Sfax
Contributors - without role: R Mehmood
S See
Katib
Chlamtac
Publication Details: EAI/Springer Innovations in Communication and Computing, pp.629-653
Series: EAI-Springer Innovations in Communication and Computing
Publisher: Springer Nature; CHAM
Number of pages: 25
Identifiers: 9911224708331
Academic Unit: Taif University; Al Baha University
Language: English
Resource Type: Book chapter