AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols

Iulian Aciobanitei, Roxana-Ioana Guinea, Mihai-Lica Pura

2018

Abstract

The rapid development of Internet technologies has triggered a tremendous growth in the number of new communication protocols. The scientific community has started to involve formal techniques in their design, like formal verification. To this purpose a series of model checking tools has been developed, some mature enough to be used with confidence in industry. Such tools are AVISPA and AVANTSSAR, the latter one being an upgraded version of AVISPA and targeting the automated validation of distributed services. This paper presents a quantitative comparison between these two tools, from the point of view of secure communication protocols. As expected, the back-ends of the new AVANTSSAR are faster than the ones from AVISPA, but several exceptions have been identified, thus suggesting that there are situations in which AVISPA should be preferred.

Paper Citation

in Harvard Style

Aciobanitei I., Guinea R. and Pura M. (2018). AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols.In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT, ISBN 978-989-758-319-3, pages 520-525. DOI: 10.5220/0006887905200525

in Bibtex Style

@conference{secrypt18,
author={Iulian Aciobanitei and Roxana-Ioana Guinea and Mihai-Lica Pura},
title={AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols},
booktitle={Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,},
year={2018},
pages={520-525},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006887905200525},
isbn={978-989-758-319-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
TI - AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols
SN - 978-989-758-319-3
AU - Aciobanitei I.
AU - Guinea R.
AU - Pura M.
PY - 2018
SP - 520
EP - 525
DO - 10.5220/0006887905200525