Encounter Record Reduction Scheme based on Theoretical Contact Probability for Flooding Attack Mitigation in DTN