Iulian Aciobanitei, Roxana-Ioana Guinea, Mihai-Lica Pura. AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols. In Pierangela Samarati, Mohammad S. Obaidat, editors, Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018. pages 686-691, SciTePress, 2018. [doi]
Abstract is missing.