AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols. - Iulian Aciobanitei; Roxana-Ioana Guinea; Mihai-Lica Pura (ICETE (2), 2018)