A Blocking-Based Approach to Protocol Validation.

Yu Lei David Chenho Kung Qizhi Ye

Published in: COMPSAC (1) (2005)

Keyphrases

lightweight
network protocols
data sets
record linkage
security protocols
genetic algorithm
multi agent
formal analysis
communication protocols