On the security verification of a short message service protocol.
Anca Delia JurcutMadhusanka LiyanageJinyong ChenCornelia GyörödiJingsha HePublished in: WCNC (2018)
Keyphrases
- cryptographic protocols
- protocol specification
- short message service
- security protocols
- high security
- authentication protocol
- security analysis
- communication protocols
- key agreement protocol
- mobile phone
- security model
- formal analysis
- information security
- access control
- end to end
- smart card
- security requirements
- lightweight
- user authentication
- intrusion detection