• LDYIS

  • Referenced in 3 articles [sw01359]
  • syntax and semantics of a temporal-epistemic security-specialised logic and provide a lazy-intruder...
  • MCMAS-X

  • Referenced in 3 articles [sw02864]
  • Verification of the TESLA protocol in MCMAS-X...