Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.

Published in: ProvSec (2008)

Keyphrases

quantitative analysis
image analysis
probabilistic model
statistical analysis
real time
data sets
clustering algorithm
high level
multi agent
relational databases
mobile robot