SSMBP: A secure SMS-based mobile banking protocol with formal verification.
Sriramulu BojjaganiV. N. SastryPublished in: WiMob (2015)
Keyphrases
- formal verification
- cryptographic protocols
- mobile phone
- coloured petri nets
- model checker
- model checking
- text messaging
- wireless medium
- short message service
- covert channel
- mobile devices
- mobile payment
- symbolic model checking
- automated verification
- security properties
- scalar product
- secure routing
- security protocols
- program slicing
- bounded model checking
- authentication protocol
- key distribution
- mobile agent system
- security analysis
- key agreement protocol
- security requirements
- temporal logic
- lightweight
- mobile commerce
- key exchange protocol
- group communication
- mobile networks
- remote server
- security model
- rfid systems
- mobile phone users
- homomorphic encryption
- mobile nodes
- mobile agents