Prototype experimental environment using actual equipment for remote control security verification | IEEE Conference Publication | IEEE Xplore