Keyphrases
- np complete
- satisfiability problem
- mobile phone
- mobile internet
- sat problem
- mobile devices
- mobile users
- phase transition
- mobile communication
- mobile communications
- mobile commerce
- rfid tags
- mobile computing
- location based services
- future trends
- security issues
- short message service
- end to end
- intrusion detection
- network security
- stochastic local search
- sat instances
- information security
- mobile services
- mobile computing environment
- max sat
- mobile applications
- service management
- security requirements
- mobile networks
- security policies
- smart phones
- mobile technologies
- stochastic local search algorithms
- sat solving
- boolean satisfiability
- context aware
- search algorithm
- mobile learning
- user behavior
- sat solvers
- electronic commerce
- propositional satisfiability
- security mechanisms
- remote control
- access control
- low cost
- wifi
- computing environments