Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski. SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. In 20th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2019, Gold Coast, Australia, December 5-7, 2019. pages 320-327, IEEE, 2019. [doi]
@inproceedings{ZbrzeznySSK19,
title = {SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols},
author = {Agnieszka M. Zbrzezny and Olga Siedlecka-Lamch and Sabina Szymoniak and Miroslaw Kurkowski},
year = {2019},
doi = {10.1109/PDCAT46702.2019.00065},
url = {https://doi.org/10.1109/PDCAT46702.2019.00065},
researchr = {https://researchr.org/publication/ZbrzeznySSK19},
cites = {0},
citedby = {0},
pages = {320-327},
booktitle = {20th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2019, Gold Coast, Australia, December 5-7, 2019},
publisher = {IEEE},
isbn = {978-1-7281-2616-6},
}