A Novel End-to-End Authentication Protocol for Satellite Mobile Communication Networks

摘要

This paper establishes a model of satellite mobile communication network end-to-end authentication and designs a distributed end-to-end authentication protocol for the model including initial authentication, authentication status inquire, and re-authentication. It also analyzes the safety of the protocol by the formal verification and makes performance analysis by simulation experiments.