An Improved Secure Authentication Protocol for WiMAX with Formal Verification.
Anjani Kumar RaiShivendu MishraPramod Narayan TripathiPublished in: ACC (2) (2011)
Keyphrases
- authentication protocol
- formal verification
- smart card
- model checking
- cryptographic protocols
- security analysis
- lightweight
- user authentication
- security protocols
- public key
- model checker
- password authentication
- key distribution
- authentication scheme
- bounded model checking
- automated verification
- rfid tags
- rfid systems
- secret key
- mutual authentication
- hash functions
- session key
- quality of service
- intrusion detection
- digital signature
- real time