On Two Kinds of Flaws in Some Server-Aided Verification Schemes.

Zhengjun Cao Lihua Liu Olivier Markowitch

Published in: Int. J. Netw. Secur. (2016)

Keyphrases

client server
model checking
formal verification
web server
database
neural network
face verification
private information retrieval
mobile devices
formal analysis
low latency
user interface
single server
central server
file transfer