A Method for Automatic Cryptographic Protocol Verification.

Jean Goubault-Larrecq

Published in: IPDPS Workshops (2000)

Keyphrases

fully automatic
significant improvement
cost function
preprocessing
high accuracy
probabilistic model
neural network
feature selection
image sequences
objective function
dynamic programming
low cost
clustering method
detection method
segmentation method