An Improved Protocol Validation Technique.

J. Rubin Colin H. West

Published in: Comput. Networks (1982)

Keyphrases

lightweight
coloured petri nets
network protocols
artificial intelligence
communication protocol
cryptographic protocols
security protocols
data sets
genetic algorithm
formal analysis
application layer