Internet of Things (IoT): A verification framework
Security Challenges in the IP-based Internet of Things