Formal Security Analysis of the Authentication Protocol in Smart Cities Using AVISPA.

Hyewon Park, Yohan Park

Browse the full ICCS paper archive.