Security Verification and Analysis, Effective Verification Approaches in Complex IoT Environments to Ensure their Security