Formal Security Analysis and Performance Evaluation of the Linkable Anonymous Access Protocol.
Rima AddasNing ZhangPublished in: ICT-EurAsia (2014)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- security requirements
- smart card
- public key
- security model
- high security
- access control
- security properties
- secure electronic
- key exchange
- encryption scheme
- encryption algorithm
- user authentication
- formal model
- elliptic curve cryptography
- security mechanisms
- peer to peer
- software engineering