Introducing soft verification as an improvement of hard verification of cryptographic check values.

Published in: Sarnoff Symposium (2012)

Keyphrases

model checking
face verification
formal verification
smart card
data mining
concurrent systems
data sets
verification method
high security
formal analysis
formal methods
parameter values
standard deviation
artificial neural networks
expert systems
search algorithm
information systems
machine learning
real world