SALVE: Server Authentication with Location VErification.
Der-Yeuan YuAanjhan RanganathanRamya Jayaram MastiClaudio SorienteSrdjan CapkunPublished in: CoRR (2016)
Keyphrases
- integrity verification
- authentication mechanism
- authentication protocol
- signature verification
- multimodal biometrics
- client server
- web server
- fragile watermarking
- biometric authentication
- formal verification
- network bandwidth
- image authentication
- formal analysis
- location based services
- identity authentication
- data encryption
- model checking
- website
- database