Login / Signup
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