Login / Signup

A Fast Method for Security Protocols Verification.

Olga Siedlecka-LamchSabina SzymoniakMiroslaw Kurkowski
Published in: CISIM (2019)
Keyphrases
  • similarity measure
  • security protocols
  • verification method
  • lightweight
  • model checking