Formal Security Analysis of Generalized Ultralightweight Mutual Authentication Protocol.
Muhammad Najam-ul-IslamMadiha KhalidUmar Mujahid KhokharPublished in: FTC (2) (2023)
Keyphrases
- security analysis
- authentication protocol
- smart card
- public key
- security requirements
- user authentication
- authentication scheme
- security properties
- mutual authentication
- encryption scheme
- key exchange
- key distribution
- cryptographic protocols
- rfid systems
- encryption algorithm
- private key
- rfid tags
- access control policies
- data streams