AVISPA: Towards practical verification of communication properties.

Pavel Ocenasek Miroslav Svéda

Published in: PDeS (2009)

Keyphrases

desirable properties
real world
multi agent
structural properties
instant messaging
database
genetic algorithm
computer vision
decision trees
data acquisition
communication overhead
human computer