IoTSAT: A formal framework for security analysis of the internet of things (IoT)

The new attack surface being crafted by the huge influx of IoT devices is both formidable and unpredictable, as it introduces a rich set of unexplored attack techniques and unknown vulnerabilities. These new attack techniques are hard to perceive through traditional means, owing to concealed and cas...

Full description

Bibliographic Details

Published in:	2016 IEEE Conference on Communications and Network Security (CNS) pp. 180 - 188
Main Authors:	Mohsin, Mujahid, Anwar, Zahid, Husari, Ghaith, Al-Shaer, Ehab, Rahman, Mohammad Ashiqur
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01-10-2016
Subjects:	Formal verification IoT security analysis IoT system modeling IoT threat classification IoT threat modeling SMT
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!