Topology Verification Enabled Intrusion Detection for In-Vehicle CAN-FD Networks | IEEE Journals & Magazine | IEEE Xplore