Security Modeling and Analysis of Cross-Protocol IoT Devices | IEEE Conference Publication | IEEE Xplore