Security Properties of Gait for Mobile Device Pairing.

Arne Brüsch Ngu Nguyen Dominik Schürmann Stephan Sigg Lars C. Wolf

Published in: IEEE Trans. Mob. Comput. (2020)

Keyphrases

security properties
mobile devices
formal model
security requirements
security analysis
security protocols
gait recognition
cryptographic protocols
formal methods
security vulnerabilities
software engineering
encryption scheme