Fed-FA: Theoretically Modeling Client Data Divergence for Federated Language Backdoor Defense