Modeling and Analysis of Integrated Proactive Defense Mechanisms for Internet-of-Things. - Mengmeng Ge 001; Jin-Hee Cho; Bilal Ishfaq; Dong Seong Kim 001 (CoRR, 2019)