Protocol Analysis for Concrete Environments.

Dieter Gollmann

Published in: EUROCAST (2005)

Keyphrases

quantitative analysis
decision trees
data structure
data analysis
database systems
image analysis
lightweight
computing environments
formal analysis