Formal Security Analysis of the MaCAN Protocol.
Alessandro BruniMichal SojkaFlemming NielsonHanne Riis NielsonPublished in: IFM (2014)
Keyphrases
- security analysis
- authentication protocol
- mutual authentication
- security model
- smart card
- public key
- security properties
- security requirements
- secure electronic
- high security
- image encryption
- key exchange
- encryption scheme
- user authentication
- formal model
- elliptic curve cryptography
- digital signature
- private key
- authentication scheme
- rfid systems
- provably secure