A Symbolic Intruder Model for Hash-Collision Attacks

Yannick Chevalier Mounira Kourjieh

Published in: CoRR (2006)

Keyphrases

prior knowledge
high level
management system
theoretical analysis
formal model
computational model
information retrieval
database systems
similarity measure
probabilistic model
probability distribution
process model
experimental data
b tree