Protocol boosters.

David C. Feldmeier Anthony J. McAuley Jonathan M. Smith Deborah S. Bakin William S. Marcus Thomas Raleigh

Published in: IEEE J. Sel. Areas Commun. (1998)

Keyphrases

lightweight
communication protocol
cryptographic protocols
formal analysis
databases
information systems
cooperative
intrusion detection
multi party
authentication protocol
genetic algorithm
application layer
key distribution
tcp ip
data sets
group communication
coloured petri nets