Security analysis of routing protocol for MANET based on extended Rubin logic | IEEE Conference Publication | IEEE Xplore