The NRL Protocol Analyzer: An Overview.

Catherine A. Meadows

Published in: J. Log. Program. (1996)

Keyphrases

lightweight
communication protocol
communication protocols
neural network
data sets
genetic algorithm
formal analysis
coloured petri nets
database
distributed systems
authentication protocol
group communication