A Symbolic Intruder Model for Hash-Collision Attacks.

Yannick Chevalier Mounira Kourjieh

Published in: ASIAN (2006)

Keyphrases

high level
mathematical model
statistical model
neural network
similarity measure
probabilistic model
computational model
conceptual model
database
web services
image segmentation
prior knowledge
virtual environment
intrusion detection
parameter estimation
formal model