A Model for Specification and Validation of a Trust Management Based Security Scheme in a MANET Environment | IEEE Conference Publication | IEEE Xplore