Key Substitution in the Symbolic Analysis of Cryptographic Protocols.

Yannick Chevalier Mounira Kourjieh

Published in: FSTTCS (2007)

Keyphrases

cryptographic protocols
data analysis
wavelet transform
computer systems
database
web services
high dimensional
quality of service
network security