Trusted checkpointing based on ant colony optimization in MANET | IEEE Conference Publication | IEEE Xplore