• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Weighted Combinatorial Sequence Testing for the TLS Protocol.

Bernhard GarnDimitris E. SimosFeng DuanYu LeiJosip BozicFranz Wotawa
Published in: ICST Workshops (2019)
Keyphrases
  • neural network
  • lightweight
  • test set
  • test cases
  • order statistics
  • cryptographic protocols
  • coloured petri nets
  • real time
  • formal analysis
  • application layer
  • pseudorandom