Security Analysis of Embedded SIM Remote Provisioning Protocol Using SPIN.
Zhonglin DingYang HuWei LuoZhongming HuangLei ZhangZhongyuan QinPublished in: ICCNS (2021)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- smart card
- security properties
- public key
- security requirements
- security model
- secure electronic
- encryption scheme
- high security
- encryption algorithm
- key exchange
- real time
- user authentication
- embedded systems
- cloud computing
- elliptic curve cryptography