Security analysis of a cloud authentication protocol using applied pi calculus.
Andrea HusztiNorbert OlahPublished in: Int. J. Internet Protoc. Technol. (2019)
Keyphrases
- security analysis
- authentication protocol
- smart card
- public key
- mutual authentication
- security requirements
- user authentication
- authentication scheme
- security protocols
- encryption algorithm
- rfid tags
- cost effective
- security properties
- real time
- security mechanisms
- lightweight
- cloud computing
- key distribution
- private key