Login / Signup

An Improved Protocol Validation Technique.

J. RubinColin 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