A Universally Composable Key Exchange Framework for Operational Technology Communication Protocols | IEEE Conference Publication | IEEE Xplore