English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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

AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols