Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA.
Shizra SultanAbdul Ghafoor AbbasiMuhammad Awais ShibliMuhammad Ali NasirPublished in: SECRYPT (2014)
Keyphrases
- cryptographic protocols
- covert channel
- authentication protocol
- security protocols
- key distribution
- secure routing
- scalar product
- lightweight
- key exchange protocol
- group communication
- key agreement protocol
- mobile devices
- password authentication
- diffie hellman
- vertically partitioned data
- security model
- cryptographic algorithms
- security analysis
- privacy preserving
- rfid systems
- provably secure
- multi party
- smart card
- security services
- electronic voting
- secure multi party
- homomorphic encryption
- key exchange
- secure multiparty computation
- security properties
- security issues
- mutual authentication
- key management
- digital signature scheme
- security requirements
- mobile agent system
- secure communication
- tcp ip
- authentication scheme
- standard model
- key agreement
- key establishment
- dot product
- mobile payment
- mobile applications
- daily life
- routing protocol
- augmented reality
- user privacy