An opacity approach for security exposure of IoT components in critical infrastructures | IEEE Conference Publication | IEEE Xplore