Validation of authentication protocols for mobile satellite systems

In recent times, a variety of protocols have been proposed so as to provide security for mobile satellite communication systems. These protocols should be tested to check their functional correctness before they are used practically. A variety of security protocols for the mobile satellite communication system have been proposed. The present study analyzes three most known authentication protocols for mobile satellite communication system from the security perspective regarding data DE synchronization attack. Data DE synchronization attacks on these protocols were tested and analyzed regarding strand spaces testing model. In addition, the improvements for the purpose of overcoming the security vulnerabilities of two protocols are mentioned.