Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski. Efficient Verification of Security Protocols Time Properties Using SMT Solvers. In Francisco Martínez-Álvarez, Alicia Troncoso Lora, José António Sáez Muñoz, Héctor Quintián, Emilio Corchado, editors, International Joint Conference: 12th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2019) and 10th International Conference on EUropean Transnational Education (ICEUTE 2019) - Seville, Spain, May 13-15, 2019, Proceedings. Volume 951 of Advances in Intelligent Systems and Computing, pages 25-35, Springer, 2019. [doi]
Abstract is missing.