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

APSL: A Light Weight Testing Tool for Protocols with Complex Messages.

Tom TervoortI. S. W. B. Prasetya
Published in: Haifa Verification Conference (2017)
Keyphrases
  • lightweight
  • complex systems
  • real world
  • email
  • authentication protocol
  • wireless sensor networks
  • messages exchanged
  • high level
  • multi view
  • ad hoc networks
  • application level
  • communication infrastructure