Login / Signup

Automated Synthesis of Protocol Converters with BALM-II.

Giovanni CastagnettiMatteo PiccoloTiziano VillaNina YevtushenkoRobert K. BraytonAlan Mishchenko
Published in: SEFM Workshops (2015)
Keyphrases
  • semi automated
  • lightweight
  • fully automated
  • coloured petri nets
  • application layer
  • cryptographic protocols
  • genetic algorithm
  • video sequences
  • data driven
  • automated analysis
  • communication protocol