Secure Path Verification.

Gianpiero Cabodi Paolo Camurati Sebastiano F. Finocchiaro Carmelo Loiacono Francesco Savarese Danilo Vendraminetto

Published in: IVSW (2016)

Keyphrases

cryptographic protocols
integrity verification
high security
shortest path
model checking
formal verification
security requirements
face verification
highly efficient
covert channel
learning algorithm
information systems
security analysis
signature verification
fingerprint verification
asynchronous circuits