Analysis and design of an authentication protocol for space information network | IEEE Conference Publication | IEEE Xplore