A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction | IEEE Conference Publication | IEEE Xplore