Login / Signup

Efficient Verification of Security Protocols Time Properties Using SMT Solvers.

Agnieszka M. ZbrzeznySabina SzymoniakMiroslaw Kurkowski
Published in: CISIS-ICEUTE (2019)
Keyphrases
  • security protocols
  • model checking
  • security properties
  • automated design
  • lightweight
  • cryptographic protocols
  • artificial immune algorithm
  • ad hoc networks