Papers: 10.3390/s21093055

https://doi.org/10.3390/s21093055

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

Cited by: 4
Author(s): Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Mirosław Kurkowski
Published: over 5 years ago

Software Mentions 1