Modeling and Design of Secure Internet of Things

This book describes underlying formal foundations of modeling secure IoT techniques, and practical design issues for deployment in commercial and military domains. In addition, it presents several attack surfaces in IoT and secure solutions that need to be developed to reach full potential. The topics in the book provide security researchers detailed insights into the effectiveness of secure design solutions in IoT for industrial and military domains. Moreover, it includes security analysis to aid in understanding and quantifying the impact of the new attack surfaces introduced by IoT deployments. The book makes selected findings on the aforementioned topics readily available to the security community by offering a synthesis of them under one cover.