Modeling and Design of Secure Internet of Things (IEEE, 2020)