On Device Identity Establishment and Verification.

Roberto Gallo Henrique Kawakami Ricardo Dahab

Published in: EuroPKI (2009)

Keyphrases

model checking
concurrent systems
portable devices
website
semiconductor devices
verification method
high security
asynchronous circuits
identity management
formal verification
face verification
image sequences
formal analysis
low cost
evolutionary algorithm
data structure
information systems