Intrusion Detection for Maritime Transportation Systems With Batch Federated Aggregation | IEEE Journals & Magazine | IEEE Xplore