Mechanism Design-Based Secure Leader Election Model for Intrusion Detection in MANET | IEEE Journals & Magazine | IEEE Xplore