Login / Signup
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols.
Agnieszka M. Zbrzezny
Olga Siedlecka-Lamch
Sabina Szymoniak
Miroslaw Kurkowski
Published in:
PDCAT (2019)
Keyphrases
</>
security protocols
lightweight
security mechanisms
database systems
operating system
formal methods
cryptographic protocols
cryptographic algorithms
low cost
software development
machine translation
information security
statistical machine translation
security properties
automated design