CoSafe: Securing Mobile Devices through Mutual Mobility Consistency Verification.
Shan ChangHang ChenHongzi ZhuXinggang HuDi CaoPublished in: IEEE Trans. Mob. Comput. (2021)
Keyphrases
- mobile devices
- mobile users
- mobile networks
- mobile computing environment
- mobile phone
- context aware
- mobile environments
- mobile computing
- smart phones
- mobile learning
- embedded devices
- mobile agents
- mobile applications
- model checking
- high assurance
- learning activities
- human mobility
- computing devices
- mobile services
- mobile technologies
- location based services
- face verification
- signature verification
- mobility patterns
- verification method
- neural network
- formal verification
- information security
- tablet computers
- identity management
- path consistency
- pervasive computing
- constraint networks