Verification of authentication protocols for mobile satellite communication systems
In recent times, many protocols have been proposed to provide security for mobile satellite communication systems. Such protocols must be tested for their functional correctness before they are used in practice. Many security protocols for the mobile satellite communication system have been presente...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2014-12-01
|
| Series: | Egyptian Journal of Remote Sensing and Space Sciences |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1110982314000192 |