Advanced method for cryptographic protocol verification.

Nabil El-Kadhi Hazem El-Gendy

Published in: J. Comput. Methods Sci. Eng. (2006)

Keyphrases

dynamic programming
high accuracy
detection method
cost function
computational cost
real time
computational complexity
clustering method
segmentation method