The Scyther Tool for the symbolic analysis of security protocols