Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification.
Shaik Shakeel AhamadAl-Sakib Khan PathanPublished in: Complex Adapt. Syst. Model. (2019)
Keyphrases
- privacy preserving
- formal verification
- vertically partitioned data
- mobile commerce
- multi party
- secure multiparty computation
- privacy preserving data mining
- privacy preservation
- privacy guarantees
- scalar product
- privacy preserving data mining algorithms
- electronic commerce
- horizontally partitioned data
- mobile services
- sensitive data
- secure multi party computation
- security requirements
- user privacy
- sensitive information
- user centric
- model checking